Join script should rule out retired usernames
[bpt/portal.git] / app / header.mlt
CommitLineData
a90da8b1
AC
1<% val title =
2 case $"title" of
336c1154
AC
3 "" => "HCoop"
4 | t => ("HCoop: " ^ t) %>
5<html><head>
5badedb0 6<link rel="stylesheet" type="text/css" href="/hcoop.css" />
a90da8b1
AC
7<title><% Web.html title %></title>
8</head><body>
9
336c1154
AC
10<div class="main">
11
12<div class="title">
5badedb0 13<img class="globe" src="/globe.gif" />
336c1154
AC
14<h1><% Web.html title %></h1>
15</div>
16
17<div class="break"></div>