annotate templates/static/style-monoblue.css @ 7203:e9a44a8e0ddc

theme/monoblue: do not use a fixed width for the overview box
author Benoit Boissinot <benoit.boissinot@ens-lyon.org>
date Wed, 22 Oct 2008 18:32:22 +0200
parents c9b88695d894
children 2bee44628c41
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
57 top: 120px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
58 right: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
59 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
60 div.page-header form label {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
61 color: #DDD;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
62 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
63 div.page-header form input {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
64 padding: 2px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
65 border: solid 1px #DDD;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
66 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
67 div.page-header form dl {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
68 overflow: hidden;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
69 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
70 div.page-header form dl dt {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
71 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
72 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
73 div.page-header form dl dt,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
74 div.page-header form dl dd {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
75 margin: 0 0 0 5px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
76 float: left;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
77 height: 24px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
78 line-height: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
79 }
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 ul.page-nav {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
82 margin: 10px 0 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
83 list-style-type: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
84 overflow: hidden;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
85 width: 800px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
86 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
87 ul.page-nav li {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
88 margin: 0 2px 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
89 float: left;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
90 width: 80px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
91 height: 24px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
92 font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
93 line-height: 24px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
94 text-align: center;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
95 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
96 ul.page-nav li.current {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
97 background: #FFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
98 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
99 ul.page-nav li a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
100 height: 24px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
101 color: #666;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
102 background: #DDD;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
103 display: block;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
104 text-decoration: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
105 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
106 ul.page-nav li a:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
107 color:#333;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
108 background: #FFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
109 }
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 ul.submenu {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
112 margin: 10px 0 -10px 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
113 list-style-type: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
114 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
115 ul.submenu li {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
116 margin: 0 10px 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
117 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
118 display: inline;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
119 }
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 h2 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
122 margin: 20px 0 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
123 height: 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
124 line-height: 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
125 text-indent: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
126 background: #FFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
127 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
128 border-top: dotted 1px #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
129 font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
130 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
131 h2.no-link {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
132 color:#006699;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
133 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
134 h2.no-border {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
135 color: #FFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
136 background: #006699;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
137 border: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
138 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
139 h2 a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
140 font-weight:bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
141 color:#006699;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
142 }
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 div.page-path {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
145 text-align: right;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
146 padding: 20px 30px 10px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
147 border:solid #d9d8d1;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
148 border-width:0px 0px 1px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
149 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
150 }
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 div.page-footer {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
153 margin: 50px 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
154 position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
155 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
156 div.page-footer p {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
157 position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
158 left: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
159 bottom: 5px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
160 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
161 }
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 ul.rss-logo {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
164 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
165 top: -10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
166 right: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
167 height: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
168 list-style-type: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
169 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
170 ul.rss-logo li {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
171 display: inline;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
172 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
173 ul.rss-logo li a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
174 padding: 3px 6px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
175 line-height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
176 border:1px solid;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
177 border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
178 color:#ffffff;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
179 background-color:#ff6600;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
180 font-weight:bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
181 font-family:sans-serif;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
182 font-size:10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
183 text-align:center;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
184 text-decoration:none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
185 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
186 div.rss-logo li a:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
187 background-color:#ee5500;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
188 }
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 p.normal {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
191 margin: 20px 0 20px 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
192 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
193 }
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 table {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
196 margin: 10px 0 0 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
197 width: 95%;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
198 border-collapse: collapse;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
199 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
200 table tr td {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
201 font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
202 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
203 table tr td.nowrap {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
204 white-space: nowrap;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
205 }
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 table tr.parity0:hover,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
208 table tr.parity1:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
209 background: #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
210 }
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 table tr.parity0 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
213 background: #F1F6F7;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
214 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
215 table tr.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
216 background: #FFFFFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
217 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
218 table tr td {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
219 padding: 5px 5px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
220 }
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 span.logtags span {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
223 padding: 2px 6px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
224 font-weight: normal;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
225 font-size: 11px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
226 border: 1px solid;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
227 background-color: #ffaaff;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
228 border-color: #ffccff #ff00ee #ff00ee #ffccff;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
229 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
230 span.logtags span.tagtag {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
231 background-color: #ffffaa;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
232 border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
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.branchtag {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
235 background-color: #aaffaa;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
236 border-color: #ccffcc #00cc33 #00cc33 #ccffcc;
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.inbranchtag {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
239 background-color: #d5dde6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
240 border-color: #e3ecf4 #9398f4 #9398f4 #e3ecf4;
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
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
243 div.diff pre {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
244 margin: 10px 0 0 0;
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 div.diff pre span {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
247 font-family: monospace;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
248 white-space: pre;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
249 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
250 padding: 3px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
251 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
252 div.source {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
253 margin: 10px 30px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
254 font-family: Tahoma, sans-serif, monospace;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
255 font-size: 100%;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
256 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
257 div.source div.parity0,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
258 div.source div.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
259 padding: 1px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
260 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
261 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
262 div.source div.parity0 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
263 background: #F1F6F7;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
264 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
265 div.source div.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
266 background: #FFFFFF;
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.parity0:hover,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
269 div.parity1:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
270 background: #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
271 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
272 .linenr {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
273 color: #999;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
274 text-align: right;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
275 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
276 td.linenr {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
277 width: 60px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
278 }
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 div#powered-by {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
281 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
282 width: 75px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
283 top: 15px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
284 right: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
285 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
286 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
287 div#powered-by a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
288 color: #EEE;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
289 text-decoration: none;
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 div#powered-by a:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
292 text-decoration: underline;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
293 }
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 div#monoblue-corner-top-left {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
296 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
297 top: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
298 left: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
299 width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
300 height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
301 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
302 background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
303 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
304 div#monoblue-corner-top-right {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
305 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
306 top: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
307 right: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
308 width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
309 height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
310 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
311 background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
312 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
313 div#monoblue-corner-bottom-left {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
314 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
315 bottom: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
316 left: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
317 width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
318 height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
319 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
320 background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
321 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
322 div#monoblue-corner-bottom-right {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
323 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
324 bottom: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
325 right: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
326 width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
327 height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
328 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
329 background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
330 }
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 /** end of common settings **/
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 /** summary **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
335 dl.overview {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
336 margin: 0 0 0 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
337 font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
338 overflow: hidden;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
339 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
340 dl.overview dt,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
341 dl.overview dd {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
342 margin: 5px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
343 float: left;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
344 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
345 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
346 clear: left;
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
347 font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
348 width: 150px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
349 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
350 /** end of summary **/
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 /** chagelog **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
353 h3.changelog {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
354 margin: 20px 0 5px 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
355 padding: 0 0 2px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
356 font-size: 1.4em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
357 border-bottom: dotted 1px #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
358 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
359 ul.changelog-entry {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
360 margin: 0 0 10px 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
361 list-style-type: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
362 position: relative;
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 ul.changelog-entry li span.revdate {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
365 font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
366 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
367 ul.changelog-entry li.age {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
368 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
369 top: -25px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
370 right: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
371 font-size: 1.4em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
372 color: #CCC;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
373 font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
374 font-style: italic;
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.name {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
377 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
378 font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
379 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
380 ul.changelog-entry li.description {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
381 margin: 10px 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
382 font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
383 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
384 /** end of changelog **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
385
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
386 /** file **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
387 p.files {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
388 margin: 0 0 0 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
389 font-size: 2.0em;
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 /** end of file **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
393
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
394 /** changeset **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
395 h3.changeset {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
396 margin: 20px 0 5px 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
397 padding: 0 0 2px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
398 font-size: 1.6em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
399 border-bottom: dotted 1px #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
400 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
401 p.changeset-age {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
402 position: relative;
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 p.changeset-age span {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
405 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
406 top: -25px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
407 right: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
408 font-size: 1.4em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
409 color: #CCC;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
410 font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
411 font-style: italic;
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.description {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
414 margin: 10px 30px 0 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
415 padding: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
416 border: solid 1px #CCC;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
417 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
418 }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
419 /** end of changeset **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
420
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
421 /** canvas **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
422 div#wrapper {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
423 position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
424 font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
425 }
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 canvas {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
428 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
429 z-index: 5;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
430 top: -0.7em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
431 }
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 ul#nodebgs li.parity0 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
434 background: #F1F6F7;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
435 }
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 ul#nodebgs li.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
438 background: #FFFFFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
439 }
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 ul#graphnodes {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
442 position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
443 z-index: 10;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
444 top: 7px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
445 list-style: none inside none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
446 }
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 ul#nodebgs {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
449 list-style: none inside none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
450 }
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 ul#graphnodes li, ul#nodebgs li {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
453 height: 39px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
454 }
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 ul#graphnodes li .info {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
457 display: block;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
458 position: relative;
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 /** end of canvas **/