annotate mercurial/templates/static/style-monoblue.css @ 9999:f91e5630ce7e

setup: install translation files as package data Remove the `install_package_data' subclass of `install_data' and use the `package_data' functionality provided by distutils instead. As package data must be located within the package directory, the data files are now generated in the build directory. To simplify the functionality of this change, the top-level `doc' and `templates' directories have been moved into the `mercurial' package directory.
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Tue, 01 Dec 2009 16:06:10 +0100
parents templates/static/style-monoblue.css@6f14253416bd
children 0c2c969e032b
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;
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 **/