author | Matt Mackall <mpm@selenic.com> |
Thu, 07 May 2009 19:39:45 -0500 | |
changeset 8316 | d593922cf480 |
parent 8162 | 6f14253416bd |
permissions | -rw-r--r-- |
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 **/ |