annotate templates/static/style-monoblue.css @ 8433:9a398dd53bcc

mq: qpush shouldn't complain if working dir is at a non-tip head
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Fri, 15 May 2009 15:21:17 +0200
parents 6f14253416bd
children
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 **/