annotate templates/header.tmpl @ 149:8cd45e152c83

Pass filename to $HGMERGE This lets the merge program be slightly more user-friendly
author mpm@selenic.com
date Tue, 24 May 2005 23:34:06 -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