HCoop
/
bpt
/
portal.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
Join script should rule out retired usernames
[bpt/portal.git]
/
app
/
header.mlt
1
<% val title =
2
case $"title" of
3
"" => "HCoop"
4
| t => ("HCoop: " ^ t) %>
5
<html><head>
6
<link rel="stylesheet" type="text/css" href="/hcoop.css" />
7
<title><% Web.html title %></title>
8
</head><body>
9
10
<div class="main">
11
12
<div class="title">
13
<img class="globe" src="/globe.gif" />
14
<h1><% Web.html title %></h1>
15
</div>
16
17
<div class="break"></div>