Mercurial > hg
annotate templates/static/style-monoblue.css @ 7910:14ec64d41dad
record: Give user a hint about chunk selection progress
It greatly improves usability when one roughly knows where
the chunks of interest are.
author | Rocco Rutte <pdmef@gmx.net> |
---|---|
date | Sat, 28 Mar 2009 23:09:36 +0100 |
parents | 2bee44628c41 |
children | 6f14253416bd |
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 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
222 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
223 span.logtags span { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
224 padding: 2px 6px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
225 font-weight: normal; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
226 font-size: 11px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
227 border: 1px solid; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
228 background-color: #ffaaff; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
229 border-color: #ffccff #ff00ee #ff00ee #ffccff; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
230 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
231 span.logtags span.tagtag { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
232 background-color: #ffffaa; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
233 border-color: #ffffcc #ffee00 #ffee00 #ffffcc; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
234 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
235 span.logtags span.branchtag { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
236 background-color: #aaffaa; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
237 border-color: #ccffcc #00cc33 #00cc33 #ccffcc; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
238 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
239 span.logtags span.inbranchtag { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
240 background-color: #d5dde6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
241 border-color: #e3ecf4 #9398f4 #9398f4 #e3ecf4; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
242 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
243 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
244 div.diff pre { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
245 margin: 10px 0 0 0; |
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 span { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
248 font-family: monospace; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
249 white-space: pre; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
250 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
251 padding: 3px 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
252 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
253 div.source { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
254 margin: 10px 30px 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
255 font-family: Tahoma, sans-serif, monospace; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
256 font-size: 100%; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
257 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
258 div.source div.parity0, |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
259 div.source div.parity1 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
260 padding: 1px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
261 font-size: 1.2em; |
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 background: #F1F6F7; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
265 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
266 div.source div.parity1 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
267 background: #FFFFFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
268 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
269 div.parity0:hover, |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
270 div.parity1:hover { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
271 background: #D5E1E6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
272 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
273 .linenr { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
274 color: #999; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
275 text-align: right; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
276 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
277 td.linenr { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
278 width: 60px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
279 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
280 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
281 div#powered-by { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
282 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
283 width: 75px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
284 top: 15px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
285 right: 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
286 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
287 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
288 div#powered-by a { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
289 color: #EEE; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
290 text-decoration: none; |
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 a:hover { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
293 text-decoration: underline; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
294 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
295 /* |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
296 div#monoblue-corner-top-left { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
297 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
298 top: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
299 left: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
300 width: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
301 height: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
302 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
|
303 background: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
304 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
305 div#monoblue-corner-top-right { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
306 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
307 top: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
308 right: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
309 width: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
310 height: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
311 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
|
312 background: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
313 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
314 div#monoblue-corner-bottom-left { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
315 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
316 bottom: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
317 left: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
318 width: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
319 height: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
320 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
|
321 background: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
322 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
323 div#monoblue-corner-bottom-right { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
324 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
325 bottom: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
326 right: 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
327 width: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
328 height: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
329 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
|
330 background: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
331 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
332 */ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
333 /** end of common settings **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
334 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
335 /** summary **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
336 dl.overview { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
337 margin: 0 0 0 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
338 font-size: 1.1em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
339 overflow: hidden; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
340 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
341 dl.overview dt, |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
342 dl.overview dd { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
343 margin: 5px 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
344 float: left; |
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 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
|
347 clear: left; |
7112
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
348 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
349 width: 150px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
350 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
351 /** end of summary **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
352 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
353 /** chagelog **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
354 h3.changelog { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
355 margin: 20px 0 5px 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
356 padding: 0 0 2px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
357 font-size: 1.4em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
358 border-bottom: dotted 1px #D5E1E6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
359 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
360 ul.changelog-entry { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
361 margin: 0 0 10px 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
362 list-style-type: none; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
363 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
364 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
365 ul.changelog-entry li span.revdate { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
366 font-size: 1.1em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
367 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
368 ul.changelog-entry li.age { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
369 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
370 top: -25px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
371 right: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
372 font-size: 1.4em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
373 color: #CCC; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
374 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
375 font-style: italic; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
376 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
377 ul.changelog-entry li span.name { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
378 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
379 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
380 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
381 ul.changelog-entry li.description { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
382 margin: 10px 0 0; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
383 font-size: 1.1em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
384 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
385 /** end of changelog **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
386 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
387 /** file **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
388 p.files { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
389 margin: 0 0 0 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
390 font-size: 2.0em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
391 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
392 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
393 /** end of file **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
394 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
395 /** changeset **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
396 h3.changeset { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
397 margin: 20px 0 5px 20px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
398 padding: 0 0 2px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
399 font-size: 1.6em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
400 border-bottom: dotted 1px #D5E1E6; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
401 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
402 p.changeset-age { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
403 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
404 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
405 p.changeset-age span { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
406 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
407 top: -25px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
408 right: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
409 font-size: 1.4em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
410 color: #CCC; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
411 font-weight: bold; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
412 font-style: italic; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
413 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
414 p.description { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
415 margin: 10px 30px 0 30px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
416 padding: 10px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
417 border: solid 1px #CCC; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
418 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
419 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
420 /** end of changeset **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
421 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
422 /** canvas **/ |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
423 div#wrapper { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
424 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
425 font-size: 1.2em; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
426 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
427 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
428 canvas { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
429 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
430 z-index: 5; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
431 top: -0.7em; |
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 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
434 ul#nodebgs li.parity0 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
435 background: #F1F6F7; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
436 } |
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 ul#nodebgs li.parity1 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
439 background: #FFFFFF; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
440 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
441 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
442 ul#graphnodes { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
443 position: absolute; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
444 z-index: 10; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
445 top: 7px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
446 list-style: none inside none; |
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 { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
450 list-style: none inside none; |
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 li, ul#nodebgs li { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
454 height: 39px; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
455 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
456 |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
457 ul#graphnodes li .info { |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
458 display: block; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
459 position: relative; |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
460 } |
c9b88695d894
[PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff
changeset
|
461 /** end of canvas **/ |