Mercurial > hg
annotate templates/static/style-monoblue.css @ 9857:24bc6e414610
diff: change --inverse to --reverse
This fixes an incompatibility with patch(1), which also uses --reverse
for reversed diffs. The --inverse flag was added in 3f522d2fa633. That
name was chosen over --reverse since it was thought that --reverse
would make --rev ambiguous.
It turns out that both flags can co-exist, with the cost that --rev
can no longer be shortened to --r and --re. Since one can always use
the short -r option, this is not a real problem.
author | Martin Geisler <mg@lazybytes.net> |
---|---|
date | Sat, 14 Nov 2009 14:21:53 +0100 |
parents | 6f14253416bd |
children |
rev | line source |
---|---|
7112
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
1 /*** Initial Settings ***/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
2 * { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
3 margin: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
4 padding: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
5 font-weight: normal; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
6 font-style: normal; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
7 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
8 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
9 html { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
10 font-size: 100%; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
11 font-family: sans-serif; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
12 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
13 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
14 body { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
15 font-size: 77%; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
16 margin: 15px 50px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
17 background: #4B4B4C; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
18 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
19 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
20 a { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
21 color:#0000cc; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
22 text-decoration: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
23 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
24 /*** end of Initial Settings ***/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
25 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
26 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
27 /** common settings **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
28 div#container { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
29 background: #FFFFFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
30 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
31 color: #666; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
32 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
33 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
34 div.page-header { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
35 padding: 50px 20px 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
36 background: #006699 top left repeat-x; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
37 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
38 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
39 div.page-header h1 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
40 margin: 10px 0 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
41 font-size: 1.8em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
42 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
43 font-family: osaka,'MS P Gothic', Georgia, serif; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
44 letter-spacing: 1px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
45 color: #DDD; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
46 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
47 div.page-header h1 a { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
48 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
49 color: #FFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
50 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
51 div.page-header a { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
52 text-decoration: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
53 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
54 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
55 div.page-header form { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
56 position: absolute; |
7205
2bee44628c41
theme/monoblue: put the search box entirely in the header
Benoit Boissinot <benoit.boissinot@ens-lyon.org>
parents:
7203
diff
changeset
|
57 margin-bottom: 2px; |
2bee44628c41
theme/monoblue: put the search box entirely in the header
Benoit Boissinot <benoit.boissinot@ens-lyon.org>
parents:
7203
diff
changeset
|
58 bottom: 0; |
7112
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
59 right: 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
60 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
61 div.page-header form label { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
62 color: #DDD; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
63 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
64 div.page-header form input { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
65 padding: 2px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
66 border: solid 1px #DDD; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
67 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
68 div.page-header form dl { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
69 overflow: hidden; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
70 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
71 div.page-header form dl dt { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
72 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
73 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
74 div.page-header form dl dt, |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
75 div.page-header form dl dd { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
76 margin: 0 0 0 5px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
77 float: left; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
78 height: 24px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
79 line-height: 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
80 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
81 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
82 ul.page-nav { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
83 margin: 10px 0 0 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
84 list-style-type: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
85 overflow: hidden; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
86 width: 800px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
87 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
88 ul.page-nav li { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
89 margin: 0 2px 0 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
90 float: left; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
91 width: 80px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
92 height: 24px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
93 font-size: 1.1em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
94 line-height: 24px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
95 text-align: center; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
96 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
97 ul.page-nav li.current { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
98 background: #FFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
99 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
100 ul.page-nav li a { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
101 height: 24px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
102 color: #666; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
103 background: #DDD; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
104 display: block; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
105 text-decoration: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
106 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
107 ul.page-nav li a:hover { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
108 color:#333; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
109 background: #FFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
110 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
111 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
112 ul.submenu { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
113 margin: 10px 0 -10px 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
114 list-style-type: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
115 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
116 ul.submenu li { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
117 margin: 0 10px 0 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
118 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
119 display: inline; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
120 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
121 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
122 h2 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
123 margin: 20px 0 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
124 height: 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
125 line-height: 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
126 text-indent: 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
127 background: #FFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
128 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
129 border-top: dotted 1px #D5E1E6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
130 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
131 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
132 h2.no-link { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
133 color:#006699; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
134 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
135 h2.no-border { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
136 color: #FFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
137 background: #006699; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
138 border: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
139 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
140 h2 a { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
141 font-weight:bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
142 color:#006699; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
143 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
144 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
145 div.page-path { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
146 text-align: right; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
147 padding: 20px 30px 10px 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
148 border:solid #d9d8d1; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
149 border-width:0px 0px 1px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
150 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
151 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
152 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
153 div.page-footer { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
154 margin: 50px 0 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
155 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
156 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
157 div.page-footer p { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
158 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
159 left: 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
160 bottom: 5px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
161 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
162 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
163 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
164 ul.rss-logo { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
165 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
166 top: -10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
167 right: 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
168 height: 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
169 list-style-type: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
170 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
171 ul.rss-logo li { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
172 display: inline; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
173 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
174 ul.rss-logo li a { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
175 padding: 3px 6px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
176 line-height: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
177 border:1px solid; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
178 border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
179 color:#ffffff; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
180 background-color:#ff6600; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
181 font-weight:bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
182 font-family:sans-serif; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
183 font-size:10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
184 text-align:center; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
185 text-decoration:none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
186 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
187 div.rss-logo li a:hover { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
188 background-color:#ee5500; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
189 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
190 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
191 p.normal { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
192 margin: 20px 0 20px 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
193 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
194 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
195 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
196 table { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
197 margin: 10px 0 0 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
198 width: 95%; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
199 border-collapse: collapse; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
200 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
201 table tr td { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
202 font-size: 1.1em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
203 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
204 table tr td.nowrap { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
205 white-space: nowrap; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
206 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
207 /* |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
208 table tr.parity0:hover, |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
209 table tr.parity1:hover { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
210 background: #D5E1E6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
211 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
212 */ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
213 table tr.parity0 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
214 background: #F1F6F7; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
215 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
216 table tr.parity1 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
217 background: #FFFFFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
218 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
219 table tr td { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
220 padding: 5px 5px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
221 } |
8162
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
222 table.annotated tr td { |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
223 padding: 0px 5px; |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
224 } |
7112
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
225 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
226 span.logtags span { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
227 padding: 2px 6px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
228 font-weight: normal; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
229 font-size: 11px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
230 border: 1px solid; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
231 background-color: #ffaaff; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
232 border-color: #ffccff #ff00ee #ff00ee #ffccff; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
233 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
234 span.logtags span.tagtag { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
235 background-color: #ffffaa; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
236 border-color: #ffffcc #ffee00 #ffee00 #ffffcc; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
237 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
238 span.logtags span.branchtag { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
239 background-color: #aaffaa; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
240 border-color: #ccffcc #00cc33 #00cc33 #ccffcc; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
241 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
242 span.logtags span.inbranchtag { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
243 background-color: #d5dde6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
244 border-color: #e3ecf4 #9398f4 #9398f4 #e3ecf4; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
245 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
246 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
247 div.diff pre { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
248 margin: 10px 0 0 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
249 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
250 div.diff pre span { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
251 font-family: monospace; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
252 white-space: pre; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
253 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
254 padding: 3px 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
255 } |
8162
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
256 td.source { |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
257 white-space: pre; |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
258 font-family: monospace; |
7112
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
259 margin: 10px 30px 0; |
8162
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
260 font-size: 1.2em; |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
261 font-family: monospace; |
7112
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
262 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
263 div.source div.parity0, |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
264 div.source div.parity1 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
265 padding: 1px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
266 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
267 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
268 div.source div.parity0 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
269 background: #F1F6F7; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
270 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
271 div.source div.parity1 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
272 background: #FFFFFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
273 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
274 div.parity0:hover, |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
275 div.parity1:hover { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
276 background: #D5E1E6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
277 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
278 .linenr { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
279 color: #999; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
280 text-align: right; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
281 } |
8162
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
282 .lineno { |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
283 text-align: right; |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
284 } |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
285 .lineno a { |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
286 color: #999; |
6f14253416bd
monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents:
7205
diff
changeset
|
287 } |
7112
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
288 td.linenr { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
289 width: 60px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
290 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
291 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
292 div#powered-by { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
293 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
294 width: 75px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
295 top: 15px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
296 right: 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
297 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
298 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
299 div#powered-by a { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
300 color: #EEE; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
301 text-decoration: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
302 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
303 div#powered-by a:hover { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
304 text-decoration: underline; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
305 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
306 /* |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
307 div#monoblue-corner-top-left { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
308 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
309 top: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
310 left: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
311 width: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
312 height: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
313 background: url(./monoblue-corner.png) top left no-repeat !important; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
314 background: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
315 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
316 div#monoblue-corner-top-right { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
317 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
318 top: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
319 right: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
320 width: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
321 height: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
322 background: url(./monoblue-corner.png) top right no-repeat !important; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
323 background: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
324 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
325 div#monoblue-corner-bottom-left { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
326 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
327 bottom: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
328 left: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
329 width: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
330 height: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
331 background: url(./monoblue-corner.png) bottom left no-repeat !important; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
332 background: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
333 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
334 div#monoblue-corner-bottom-right { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
335 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
336 bottom: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
337 right: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
338 width: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
339 height: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
340 background: url(./monoblue-corner.png) bottom right no-repeat !important; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
341 background: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
342 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
343 */ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
344 /** end of common settings **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
345 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
346 /** summary **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
347 dl.overview { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
348 margin: 0 0 0 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
349 font-size: 1.1em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
350 overflow: hidden; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
351 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
352 dl.overview dt, |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
353 dl.overview dd { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
354 margin: 5px 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
355 float: left; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
356 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
357 dl.overview dt { |
7203
e9a44a8e0ddc
theme/monoblue: do not use a fixed width for the overview box
Benoit Boissinot <benoit.boissinot@ens-lyon.org>
parents:
7112
diff
changeset
|
358 clear: left; |
7112
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
359 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
360 width: 150px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
361 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
362 /** end of summary **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
363 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
364 /** chagelog **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
365 h3.changelog { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
366 margin: 20px 0 5px 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
367 padding: 0 0 2px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
368 font-size: 1.4em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
369 border-bottom: dotted 1px #D5E1E6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
370 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
371 ul.changelog-entry { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
372 margin: 0 0 10px 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
373 list-style-type: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
374 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
375 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
376 ul.changelog-entry li span.revdate { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
377 font-size: 1.1em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
378 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
379 ul.changelog-entry li.age { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
380 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
381 top: -25px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
382 right: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
383 font-size: 1.4em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
384 color: #CCC; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
385 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
386 font-style: italic; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
387 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
388 ul.changelog-entry li span.name { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
389 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
390 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
391 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
392 ul.changelog-entry li.description { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
393 margin: 10px 0 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
394 font-size: 1.1em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
395 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
396 /** end of changelog **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
397 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
398 /** file **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
399 p.files { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
400 margin: 0 0 0 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
401 font-size: 2.0em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
402 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
403 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
404 /** end of file **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
405 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
406 /** changeset **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
407 h3.changeset { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
408 margin: 20px 0 5px 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
409 padding: 0 0 2px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
410 font-size: 1.6em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
411 border-bottom: dotted 1px #D5E1E6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
412 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
413 p.changeset-age { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
414 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
415 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
416 p.changeset-age span { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
417 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
418 top: -25px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
419 right: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
420 font-size: 1.4em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
421 color: #CCC; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
422 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
423 font-style: italic; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
424 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
425 p.description { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
426 margin: 10px 30px 0 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
427 padding: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
428 border: solid 1px #CCC; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
429 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
430 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
431 /** end of changeset **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
432 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
433 /** canvas **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
434 div#wrapper { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
435 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
436 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
437 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
438 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
439 canvas { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
440 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
441 z-index: 5; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
442 top: -0.7em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
443 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
444 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
445 ul#nodebgs li.parity0 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
446 background: #F1F6F7; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
447 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
448 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
449 ul#nodebgs li.parity1 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
450 background: #FFFFFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
451 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
452 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
453 ul#graphnodes { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
454 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
455 z-index: 10; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
456 top: 7px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
457 list-style: none inside none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
458 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
459 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
460 ul#nodebgs { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
461 list-style: none inside none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
462 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
463 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
464 ul#graphnodes li, ul#nodebgs li { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
465 height: 39px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
466 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
467 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
468 ul#graphnodes li .info { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
469 display: block; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
470 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
471 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
472 /** end of canvas **/ |