annotate templates/header.tmpl @ 147:b6d8ed7aeba0

A new ancestor algorithm The old ancestor algorithm could get fooled into returning ancestors closer to root than it ought to. Hopefully this one, which strictly orders its search by distance from room, will be foolproof.
author mpm@selenic.com
date Tue, 24 May 2005 23:11:44 -0800
parents 529bf610092e
children 1d5f799ebe1e 083c38bdfa64
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
142
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
1 Content-type: text/html
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
2
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
3 <html>
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
4 <head>
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
5 </head>
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
6 <style type="text/css">
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
7 a { text-decoration:none; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
8 .parity0 { background-color: #eeeeee; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
9 .parity1 { background-color: #ffffff; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
10 .lineno { width: 60px; color: #cccccc; font-size: smaller; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
11 .plusline { color: green; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
12 .minusline { color: red; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
13 .atline { color: purple; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
14 .annotate { font-size: smaller; text-align: right; padding-right: 1em; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
15 .buttons a {
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
16 background-color: #666666;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
17 padding: 2pt;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
18 color: white;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
19 font-family: sans;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
20 font-weight: bold;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
21 }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
22 .metatag {
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
23 background-color: #888888;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
24 color: white;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
25 text-align: right;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
26 }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
27
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
28 </style>
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
29 </head>
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
30 <body>
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
31