##// END OF EJS Templates
hgweb: consistent author name width...
Dan Villiom Podlaski Christiansen -
r18664:30d899fe default
parent child Browse files
Show More
@@ -1,333 +1,333 b''
1 body {
1 body {
2 margin: 0;
2 margin: 0;
3 padding: 0;
3 padding: 0;
4 background: black url(background.png) repeat-x;
4 background: black url(background.png) repeat-x;
5 font-family: sans-serif;
5 font-family: sans-serif;
6 }
6 }
7
7
8 .container {
8 .container {
9 padding-right: 150px;
9 padding-right: 150px;
10 }
10 }
11
11
12 .main {
12 .main {
13 position: relative;
13 position: relative;
14 background: white;
14 background: white;
15 padding: 2em;
15 padding: 2em;
16 border-right: 15px solid black;
16 border-right: 15px solid black;
17 border-bottom: 15px solid black;
17 border-bottom: 15px solid black;
18 }
18 }
19
19
20 #.main {
20 #.main {
21 width: 98%;
21 width: 98%;
22 }
22 }
23
23
24 .overflow {
24 .overflow {
25 width: 100%;
25 width: 100%;
26 overflow: auto;
26 overflow: auto;
27 }
27 }
28
28
29 .menu {
29 .menu {
30 background: #999;
30 background: #999;
31 padding: 10px;
31 padding: 10px;
32 width: 75px;
32 width: 75px;
33 margin: 0;
33 margin: 0;
34 font-size: 80%;
34 font-size: 80%;
35 text-align: left;
35 text-align: left;
36 position: fixed;
36 position: fixed;
37 top: 27px;
37 top: 27px;
38 left: auto;
38 left: auto;
39 right: 27px;
39 right: 27px;
40 }
40 }
41
41
42 #.menu {
42 #.menu {
43 position: absolute !important;
43 position: absolute !important;
44 top:expression(eval(document.body.scrollTop + 27));
44 top:expression(eval(document.body.scrollTop + 27));
45 }
45 }
46
46
47 .menu ul {
47 .menu ul {
48 list-style: none;
48 list-style: none;
49 padding: 0;
49 padding: 0;
50 margin: 10px 0 0 0;
50 margin: 10px 0 0 0;
51 }
51 }
52
52
53 .menu li {
53 .menu li {
54 margin-bottom: 3px;
54 margin-bottom: 3px;
55 padding: 2px 4px;
55 padding: 2px 4px;
56 background: white;
56 background: white;
57 color: black;
57 color: black;
58 font-weight: normal;
58 font-weight: normal;
59 }
59 }
60
60
61 .menu li.active {
61 .menu li.active {
62 background: black;
62 background: black;
63 color: white;
63 color: white;
64 }
64 }
65
65
66 .menu img {
66 .menu img {
67 width: 75px;
67 width: 75px;
68 height: 90px;
68 height: 90px;
69 border: 0;
69 border: 0;
70 }
70 }
71
71
72 .menu a { color: black; display: block; }
72 .menu a { color: black; display: block; }
73
73
74 .search {
74 .search {
75 position: absolute;
75 position: absolute;
76 top: .7em;
76 top: .7em;
77 right: 2em;
77 right: 2em;
78 }
78 }
79
79
80 form.search div#hint {
80 form.search div#hint {
81 display: none;
81 display: none;
82 position: absolute;
82 position: absolute;
83 top: 40px;
83 top: 40px;
84 right: 0px;
84 right: 0px;
85 width: 190px;
85 width: 190px;
86 padding: 5px;
86 padding: 5px;
87 background: #ffc;
87 background: #ffc;
88 font-size: 70%;
88 font-size: 70%;
89 border: 1px solid yellow;
89 border: 1px solid yellow;
90 -moz-border-radius: 5px; /* this works only in camino/firefox */
90 -moz-border-radius: 5px; /* this works only in camino/firefox */
91 -webkit-border-radius: 5px; /* this is just for Safari */
91 -webkit-border-radius: 5px; /* this is just for Safari */
92 }
92 }
93
93
94 form.search:hover div#hint { display: block; }
94 form.search:hover div#hint { display: block; }
95
95
96 a { text-decoration:none; }
96 a { text-decoration:none; }
97 .age { white-space:nowrap; }
97 .age { white-space:nowrap; }
98 .date { white-space:nowrap; }
98 .date { white-space:nowrap; }
99 .indexlinks { white-space:nowrap; }
99 .indexlinks { white-space:nowrap; }
100 .parity0 { background-color: #f0f0f0; }
100 .parity0 { background-color: #f0f0f0; }
101 .parity1 { background-color: white; }
101 .parity1 { background-color: white; }
102 .plusline { color: green; }
102 .plusline { color: green; }
103 .minusline { color: #dc143c; } /* crimson */
103 .minusline { color: #dc143c; } /* crimson */
104 .atline { color: purple; }
104 .atline { color: purple; }
105
105
106 .diffstat-file {
106 .diffstat-file {
107 white-space: nowrap;
107 white-space: nowrap;
108 font-size: 90%;
108 font-size: 90%;
109 }
109 }
110 .diffstat-total {
110 .diffstat-total {
111 white-space: nowrap;
111 white-space: nowrap;
112 font-size: 90%;
112 font-size: 90%;
113 }
113 }
114 .diffstat-graph {
114 .diffstat-graph {
115 width: 100%;
115 width: 100%;
116 }
116 }
117 .diffstat-add {
117 .diffstat-add {
118 background-color: green;
118 background-color: green;
119 float: left;
119 float: left;
120 }
120 }
121 .diffstat-remove {
121 .diffstat-remove {
122 background-color: red;
122 background-color: red;
123 float: left;
123 float: left;
124 }
124 }
125
125
126 .navigate {
126 .navigate {
127 text-align: right;
127 text-align: right;
128 font-size: 60%;
128 font-size: 60%;
129 margin: 1em 0;
129 margin: 1em 0;
130 }
130 }
131
131
132 .tag {
132 .tag {
133 color: #999;
133 color: #999;
134 font-size: 70%;
134 font-size: 70%;
135 font-weight: normal;
135 font-weight: normal;
136 margin-left: .5em;
136 margin-left: .5em;
137 vertical-align: baseline;
137 vertical-align: baseline;
138 }
138 }
139
139
140 .branchhead {
140 .branchhead {
141 color: #000;
141 color: #000;
142 font-size: 80%;
142 font-size: 80%;
143 font-weight: normal;
143 font-weight: normal;
144 margin-left: .5em;
144 margin-left: .5em;
145 vertical-align: baseline;
145 vertical-align: baseline;
146 }
146 }
147
147
148 ul#graphnodes .branchhead {
148 ul#graphnodes .branchhead {
149 font-size: 75%;
149 font-size: 75%;
150 }
150 }
151
151
152 .branchname {
152 .branchname {
153 color: #000;
153 color: #000;
154 font-size: 60%;
154 font-size: 60%;
155 font-weight: normal;
155 font-weight: normal;
156 margin-left: .5em;
156 margin-left: .5em;
157 vertical-align: baseline;
157 vertical-align: baseline;
158 }
158 }
159
159
160 h3 .branchname {
160 h3 .branchname {
161 font-size: 80%;
161 font-size: 80%;
162 }
162 }
163
163
164 /* Common */
164 /* Common */
165 pre { margin: 0; }
165 pre { margin: 0; }
166
166
167 h2 { font-size: 120%; border-bottom: 1px solid #999; }
167 h2 { font-size: 120%; border-bottom: 1px solid #999; }
168 h2 a { color: #000; }
168 h2 a { color: #000; }
169 h3 {
169 h3 {
170 margin-top: -.7em;
170 margin-top: -.7em;
171 font-size: 100%;
171 font-size: 100%;
172 }
172 }
173
173
174 /* log and tags tables */
174 /* log and tags tables */
175 .bigtable {
175 .bigtable {
176 border-bottom: 1px solid #999;
176 border-bottom: 1px solid #999;
177 border-collapse: collapse;
177 border-collapse: collapse;
178 font-size: 90%;
178 font-size: 90%;
179 width: 100%;
179 width: 100%;
180 font-weight: normal;
180 font-weight: normal;
181 text-align: left;
181 text-align: left;
182 }
182 }
183
183
184 .bigtable td {
184 .bigtable td {
185 vertical-align: top;
185 vertical-align: top;
186 }
186 }
187
187
188 .bigtable th {
188 .bigtable th {
189 padding: 1px 4px;
189 padding: 1px 4px;
190 border-bottom: 1px solid #999;
190 border-bottom: 1px solid #999;
191 }
191 }
192 .bigtable tr { border: none; }
192 .bigtable tr { border: none; }
193 .bigtable .age { width: 6em; }
193 .bigtable .age { width: 6em; }
194 .bigtable .author { width: 12em; }
194 .bigtable .author { width: 15em; }
195 .bigtable .description { }
195 .bigtable .description { }
196 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
196 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
197 .bigtable .node { width: 5em; font-family: monospace;}
197 .bigtable .node { width: 5em; font-family: monospace;}
198 .bigtable .lineno { width: 2em; text-align: right;}
198 .bigtable .lineno { width: 2em; text-align: right;}
199 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;}
199 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;}
200 .bigtable .permissions { width: 8em; text-align: left;}
200 .bigtable .permissions { width: 8em; text-align: left;}
201 .bigtable .size { width: 5em; text-align: right; }
201 .bigtable .size { width: 5em; text-align: right; }
202 .bigtable .annotate { text-align: right; }
202 .bigtable .annotate { text-align: right; }
203 .bigtable td.annotate { font-size: smaller; }
203 .bigtable td.annotate { font-size: smaller; }
204 .bigtable td.source { font-size: inherit; }
204 .bigtable td.source { font-size: inherit; }
205
205
206 .source, .sourcefirst, .sourcelast {
206 .source, .sourcefirst, .sourcelast {
207 font-family: monospace;
207 font-family: monospace;
208 white-space: pre;
208 white-space: pre;
209 padding: 1px 4px;
209 padding: 1px 4px;
210 font-size: 90%;
210 font-size: 90%;
211 }
211 }
212 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
212 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
213 .sourcelast { border-top: 1px solid #999; }
213 .sourcelast { border-top: 1px solid #999; }
214 .source a { color: #999; font-size: smaller; font-family: monospace;}
214 .source a { color: #999; font-size: smaller; font-family: monospace;}
215 .bottomline { border-bottom: 1px solid #999; }
215 .bottomline { border-bottom: 1px solid #999; }
216
216
217 .fileline { font-family: monospace; }
217 .fileline { font-family: monospace; }
218 .fileline img { border: 0; }
218 .fileline img { border: 0; }
219
219
220 .tagEntry .closed { color: #99f; }
220 .tagEntry .closed { color: #99f; }
221
221
222 /* Changeset entry */
222 /* Changeset entry */
223 #changesetEntry {
223 #changesetEntry {
224 border-collapse: collapse;
224 border-collapse: collapse;
225 font-size: 90%;
225 font-size: 90%;
226 width: 100%;
226 width: 100%;
227 margin-bottom: 1em;
227 margin-bottom: 1em;
228 }
228 }
229
229
230 #changesetEntry th {
230 #changesetEntry th {
231 padding: 1px 4px;
231 padding: 1px 4px;
232 width: 4em;
232 width: 4em;
233 text-align: right;
233 text-align: right;
234 font-weight: normal;
234 font-weight: normal;
235 color: #999;
235 color: #999;
236 margin-right: .5em;
236 margin-right: .5em;
237 vertical-align: top;
237 vertical-align: top;
238 }
238 }
239
239
240 div.description {
240 div.description {
241 border-left: 3px solid #999;
241 border-left: 3px solid #999;
242 margin: 1em 0 1em 0;
242 margin: 1em 0 1em 0;
243 padding: .3em;
243 padding: .3em;
244 white-space: pre;
244 white-space: pre;
245 font-family: monospace;
245 font-family: monospace;
246 }
246 }
247
247
248 /* Graph */
248 /* Graph */
249 div#wrapper {
249 div#wrapper {
250 position: relative;
250 position: relative;
251 border-top: 1px solid black;
251 border-top: 1px solid black;
252 border-bottom: 1px solid black;
252 border-bottom: 1px solid black;
253 margin: 0;
253 margin: 0;
254 padding: 0;
254 padding: 0;
255 }
255 }
256
256
257 canvas {
257 canvas {
258 position: absolute;
258 position: absolute;
259 z-index: 5;
259 z-index: 5;
260 top: -0.7em;
260 top: -0.7em;
261 margin: 0;
261 margin: 0;
262 }
262 }
263
263
264 ul#graphnodes {
264 ul#graphnodes {
265 position: absolute;
265 position: absolute;
266 z-index: 10;
266 z-index: 10;
267 top: -1.0em;
267 top: -1.0em;
268 list-style: none inside none;
268 list-style: none inside none;
269 padding: 0;
269 padding: 0;
270 }
270 }
271
271
272 ul#nodebgs {
272 ul#nodebgs {
273 list-style: none inside none;
273 list-style: none inside none;
274 padding: 0;
274 padding: 0;
275 margin: 0;
275 margin: 0;
276 top: -0.7em;
276 top: -0.7em;
277 }
277 }
278
278
279 ul#graphnodes li, ul#nodebgs li {
279 ul#graphnodes li, ul#nodebgs li {
280 height: 39px;
280 height: 39px;
281 }
281 }
282
282
283 ul#graphnodes li .info {
283 ul#graphnodes li .info {
284 display: block;
284 display: block;
285 font-size: 70%;
285 font-size: 70%;
286 position: relative;
286 position: relative;
287 top: -3px;
287 top: -3px;
288 }
288 }
289
289
290 /* Comparison */
290 /* Comparison */
291 .legend {
291 .legend {
292 padding: 1.5% 0 1.5% 0;
292 padding: 1.5% 0 1.5% 0;
293 }
293 }
294
294
295 .legendinfo {
295 .legendinfo {
296 border: 1px solid #999;
296 border: 1px solid #999;
297 font-size: 80%;
297 font-size: 80%;
298 text-align: center;
298 text-align: center;
299 padding: 0.5%;
299 padding: 0.5%;
300 }
300 }
301
301
302 .equal {
302 .equal {
303 background-color: #ffffff;
303 background-color: #ffffff;
304 }
304 }
305
305
306 .delete {
306 .delete {
307 background-color: #faa;
307 background-color: #faa;
308 color: #333;
308 color: #333;
309 }
309 }
310
310
311 .insert {
311 .insert {
312 background-color: #ffa;
312 background-color: #ffa;
313 }
313 }
314
314
315 .replace {
315 .replace {
316 background-color: #e8e8e8;
316 background-color: #e8e8e8;
317 }
317 }
318
318
319 .header {
319 .header {
320 text-align: center;
320 text-align: center;
321 }
321 }
322
322
323 .block {
323 .block {
324 border-top: 1px solid #999;
324 border-top: 1px solid #999;
325 }
325 }
326
326
327 .breadcrumb {
327 .breadcrumb {
328 color: gray;
328 color: gray;
329 }
329 }
330
330
331 .breadcrumb a {
331 .breadcrumb a {
332 color: blue;
332 color: blue;
333 }
333 }
@@ -1,328 +1,328 b''
1 body {
1 body {
2 margin: 0;
2 margin: 0;
3 padding: 0;
3 padding: 0;
4 background: white;
4 background: white;
5 font-family: sans-serif;
5 font-family: sans-serif;
6 }
6 }
7
7
8 .container {
8 .container {
9 padding-left: 115px;
9 padding-left: 115px;
10 }
10 }
11
11
12 .main {
12 .main {
13 position: relative;
13 position: relative;
14 background: white;
14 background: white;
15 padding: 2em 2em 2em 0;
15 padding: 2em 2em 2em 0;
16 }
16 }
17
17
18 #.main {
18 #.main {
19 width: 98%;
19 width: 98%;
20 }
20 }
21
21
22 .overflow {
22 .overflow {
23 width: 100%;
23 width: 100%;
24 overflow: auto;
24 overflow: auto;
25 }
25 }
26
26
27 .menu {
27 .menu {
28 width: 90px;
28 width: 90px;
29 margin: 0;
29 margin: 0;
30 font-size: 80%;
30 font-size: 80%;
31 text-align: left;
31 text-align: left;
32 position: absolute;
32 position: absolute;
33 top: 20px;
33 top: 20px;
34 left: 20px;
34 left: 20px;
35 right: auto;
35 right: auto;
36 }
36 }
37
37
38 .menu ul {
38 .menu ul {
39 list-style: none;
39 list-style: none;
40 padding: 0;
40 padding: 0;
41 margin: 10px 0 0 0;
41 margin: 10px 0 0 0;
42 border-left: 2px solid #999;
42 border-left: 2px solid #999;
43 }
43 }
44
44
45 .menu li {
45 .menu li {
46 margin-bottom: 3px;
46 margin-bottom: 3px;
47 padding: 2px 4px;
47 padding: 2px 4px;
48 background: white;
48 background: white;
49 color: black;
49 color: black;
50 font-weight: normal;
50 font-weight: normal;
51 }
51 }
52
52
53 .menu li.active {
53 .menu li.active {
54 font-weight: bold;
54 font-weight: bold;
55 }
55 }
56
56
57 .menu img {
57 .menu img {
58 width: 75px;
58 width: 75px;
59 height: 90px;
59 height: 90px;
60 border: 0;
60 border: 0;
61 }
61 }
62
62
63 .atom-logo img{
63 .atom-logo img{
64 width: 14px;
64 width: 14px;
65 height: 14px;
65 height: 14px;
66 border: 0;
66 border: 0;
67 }
67 }
68
68
69 .menu a { color: black; display: block; }
69 .menu a { color: black; display: block; }
70
70
71 .search {
71 .search {
72 position: absolute;
72 position: absolute;
73 top: .7em;
73 top: .7em;
74 right: 2em;
74 right: 2em;
75 }
75 }
76
76
77 form.search div#hint {
77 form.search div#hint {
78 display: none;
78 display: none;
79 position: absolute;
79 position: absolute;
80 top: 40px;
80 top: 40px;
81 right: 0px;
81 right: 0px;
82 width: 190px;
82 width: 190px;
83 padding: 5px;
83 padding: 5px;
84 background: #ffc;
84 background: #ffc;
85 font-size: 70%;
85 font-size: 70%;
86 border: 1px solid yellow;
86 border: 1px solid yellow;
87 -moz-border-radius: 5px; /* this works only in camino/firefox */
87 -moz-border-radius: 5px; /* this works only in camino/firefox */
88 -webkit-border-radius: 5px; /* this is just for Safari */
88 -webkit-border-radius: 5px; /* this is just for Safari */
89 }
89 }
90
90
91 form.search:hover div#hint { display: block; }
91 form.search:hover div#hint { display: block; }
92
92
93 a { text-decoration:none; }
93 a { text-decoration:none; }
94 .age { white-space:nowrap; }
94 .age { white-space:nowrap; }
95 .date { white-space:nowrap; }
95 .date { white-space:nowrap; }
96 .indexlinks { white-space:nowrap; }
96 .indexlinks { white-space:nowrap; }
97 .parity0 { background-color: #f0f0f0; }
97 .parity0 { background-color: #f0f0f0; }
98 .parity1 { background-color: white; }
98 .parity1 { background-color: white; }
99 .plusline { color: green; }
99 .plusline { color: green; }
100 .minusline { color: #dc143c; } /* crimson */
100 .minusline { color: #dc143c; } /* crimson */
101 .atline { color: purple; }
101 .atline { color: purple; }
102
102
103 .diffstat-file {
103 .diffstat-file {
104 white-space: nowrap;
104 white-space: nowrap;
105 font-size: 90%;
105 font-size: 90%;
106 }
106 }
107 .diffstat-total {
107 .diffstat-total {
108 white-space: nowrap;
108 white-space: nowrap;
109 font-size: 90%;
109 font-size: 90%;
110 }
110 }
111 .diffstat-graph {
111 .diffstat-graph {
112 width: 100%;
112 width: 100%;
113 }
113 }
114 .diffstat-add {
114 .diffstat-add {
115 background-color: green;
115 background-color: green;
116 float: left;
116 float: left;
117 }
117 }
118 .diffstat-remove {
118 .diffstat-remove {
119 background-color: red;
119 background-color: red;
120 float: left;
120 float: left;
121 }
121 }
122
122
123 .navigate {
123 .navigate {
124 text-align: right;
124 text-align: right;
125 font-size: 60%;
125 font-size: 60%;
126 margin: 1em 0;
126 margin: 1em 0;
127 }
127 }
128
128
129 .tag {
129 .tag {
130 color: #999;
130 color: #999;
131 font-size: 70%;
131 font-size: 70%;
132 font-weight: normal;
132 font-weight: normal;
133 margin-left: .5em;
133 margin-left: .5em;
134 vertical-align: baseline;
134 vertical-align: baseline;
135 }
135 }
136
136
137 .branchhead {
137 .branchhead {
138 color: #000;
138 color: #000;
139 font-size: 80%;
139 font-size: 80%;
140 font-weight: normal;
140 font-weight: normal;
141 margin-left: .5em;
141 margin-left: .5em;
142 vertical-align: baseline;
142 vertical-align: baseline;
143 }
143 }
144
144
145 ul#graphnodes .branchhead {
145 ul#graphnodes .branchhead {
146 font-size: 75%;
146 font-size: 75%;
147 }
147 }
148
148
149 .branchname {
149 .branchname {
150 color: #000;
150 color: #000;
151 font-size: 60%;
151 font-size: 60%;
152 font-weight: normal;
152 font-weight: normal;
153 margin-left: .5em;
153 margin-left: .5em;
154 vertical-align: baseline;
154 vertical-align: baseline;
155 }
155 }
156
156
157 h3 .branchname {
157 h3 .branchname {
158 font-size: 80%;
158 font-size: 80%;
159 }
159 }
160
160
161 /* Common */
161 /* Common */
162 pre { margin: 0; }
162 pre { margin: 0; }
163
163
164 h2 { font-size: 120%; border-bottom: 1px solid #999; }
164 h2 { font-size: 120%; border-bottom: 1px solid #999; }
165 h2 a { color: #000; }
165 h2 a { color: #000; }
166 h3 {
166 h3 {
167 margin-top: -.7em;
167 margin-top: -.7em;
168 font-size: 100%;
168 font-size: 100%;
169 }
169 }
170
170
171 /* log and tags tables */
171 /* log and tags tables */
172 .bigtable {
172 .bigtable {
173 border-bottom: 1px solid #999;
173 border-bottom: 1px solid #999;
174 border-collapse: collapse;
174 border-collapse: collapse;
175 font-size: 90%;
175 font-size: 90%;
176 width: 100%;
176 width: 100%;
177 font-weight: normal;
177 font-weight: normal;
178 text-align: left;
178 text-align: left;
179 }
179 }
180
180
181 .bigtable td {
181 .bigtable td {
182 vertical-align: top;
182 vertical-align: top;
183 }
183 }
184
184
185 .bigtable th {
185 .bigtable th {
186 padding: 1px 4px;
186 padding: 1px 4px;
187 border-bottom: 1px solid #999;
187 border-bottom: 1px solid #999;
188 }
188 }
189 .bigtable tr { border: none; }
189 .bigtable tr { border: none; }
190 .bigtable .age { width: 7em; }
190 .bigtable .age { width: 7em; }
191 .bigtable .author { width: 12em; }
191 .bigtable .author { width: 15em; }
192 .bigtable .description { }
192 .bigtable .description { }
193 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
193 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
194 .bigtable .node { width: 5em; font-family: monospace;}
194 .bigtable .node { width: 5em; font-family: monospace;}
195 .bigtable .permissions { width: 8em; text-align: left;}
195 .bigtable .permissions { width: 8em; text-align: left;}
196 .bigtable .size { width: 5em; text-align: right; }
196 .bigtable .size { width: 5em; text-align: right; }
197 .bigtable .annotate { text-align: right; }
197 .bigtable .annotate { text-align: right; }
198 .bigtable td.annotate { font-size: smaller; }
198 .bigtable td.annotate { font-size: smaller; }
199 .bigtable td.source { font-size: inherit; }
199 .bigtable td.source { font-size: inherit; }
200
200
201 .source, .sourcefirst, .sourcelast {
201 .source, .sourcefirst, .sourcelast {
202 font-family: monospace;
202 font-family: monospace;
203 white-space: pre;
203 white-space: pre;
204 padding: 1px 4px;
204 padding: 1px 4px;
205 font-size: 90%;
205 font-size: 90%;
206 }
206 }
207 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
207 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
208 .sourcelast { border-top: 1px solid #999; }
208 .sourcelast { border-top: 1px solid #999; }
209 .source a { color: #999; font-size: smaller; font-family: monospace;}
209 .source a { color: #999; font-size: smaller; font-family: monospace;}
210 .bottomline { border-bottom: 1px solid #999; }
210 .bottomline { border-bottom: 1px solid #999; }
211
211
212 .fileline { font-family: monospace; }
212 .fileline { font-family: monospace; }
213 .fileline img { border: 0; }
213 .fileline img { border: 0; }
214
214
215 .tagEntry .closed { color: #99f; }
215 .tagEntry .closed { color: #99f; }
216
216
217 /* Changeset entry */
217 /* Changeset entry */
218 #changesetEntry {
218 #changesetEntry {
219 border-collapse: collapse;
219 border-collapse: collapse;
220 font-size: 90%;
220 font-size: 90%;
221 width: 100%;
221 width: 100%;
222 margin-bottom: 1em;
222 margin-bottom: 1em;
223 }
223 }
224
224
225 #changesetEntry th {
225 #changesetEntry th {
226 padding: 1px 4px;
226 padding: 1px 4px;
227 width: 4em;
227 width: 4em;
228 text-align: right;
228 text-align: right;
229 font-weight: normal;
229 font-weight: normal;
230 color: #999;
230 color: #999;
231 margin-right: .5em;
231 margin-right: .5em;
232 vertical-align: top;
232 vertical-align: top;
233 }
233 }
234
234
235 div.description {
235 div.description {
236 border-left: 2px solid #999;
236 border-left: 2px solid #999;
237 margin: 1em 0 1em 0;
237 margin: 1em 0 1em 0;
238 padding: .3em;
238 padding: .3em;
239 white-space: pre;
239 white-space: pre;
240 font-family: monospace;
240 font-family: monospace;
241 }
241 }
242
242
243 /* Graph */
243 /* Graph */
244 div#wrapper {
244 div#wrapper {
245 position: relative;
245 position: relative;
246 border-top: 1px solid black;
246 border-top: 1px solid black;
247 border-bottom: 1px solid black;
247 border-bottom: 1px solid black;
248 margin: 0;
248 margin: 0;
249 padding: 0;
249 padding: 0;
250 }
250 }
251
251
252 canvas {
252 canvas {
253 position: absolute;
253 position: absolute;
254 z-index: 5;
254 z-index: 5;
255 top: -0.7em;
255 top: -0.7em;
256 margin: 0;
256 margin: 0;
257 }
257 }
258
258
259 ul#graphnodes {
259 ul#graphnodes {
260 position: absolute;
260 position: absolute;
261 z-index: 10;
261 z-index: 10;
262 top: -1.0em;
262 top: -1.0em;
263 list-style: none inside none;
263 list-style: none inside none;
264 padding: 0;
264 padding: 0;
265 }
265 }
266
266
267 ul#nodebgs {
267 ul#nodebgs {
268 list-style: none inside none;
268 list-style: none inside none;
269 padding: 0;
269 padding: 0;
270 margin: 0;
270 margin: 0;
271 top: -0.7em;
271 top: -0.7em;
272 }
272 }
273
273
274 ul#graphnodes li, ul#nodebgs li {
274 ul#graphnodes li, ul#nodebgs li {
275 height: 39px;
275 height: 39px;
276 }
276 }
277
277
278 ul#graphnodes li .info {
278 ul#graphnodes li .info {
279 display: block;
279 display: block;
280 font-size: 70%;
280 font-size: 70%;
281 position: relative;
281 position: relative;
282 top: -3px;
282 top: -3px;
283 }
283 }
284
284
285 /* Comparison */
285 /* Comparison */
286 .legend {
286 .legend {
287 padding: 1.5% 0 1.5% 0;
287 padding: 1.5% 0 1.5% 0;
288 }
288 }
289
289
290 .legendinfo {
290 .legendinfo {
291 border: 1px solid #999;
291 border: 1px solid #999;
292 font-size: 80%;
292 font-size: 80%;
293 text-align: center;
293 text-align: center;
294 padding: 0.5%;
294 padding: 0.5%;
295 }
295 }
296
296
297 .equal {
297 .equal {
298 background-color: #ffffff;
298 background-color: #ffffff;
299 }
299 }
300
300
301 .delete {
301 .delete {
302 background-color: #faa;
302 background-color: #faa;
303 color: #333;
303 color: #333;
304 }
304 }
305
305
306 .insert {
306 .insert {
307 background-color: #ffa;
307 background-color: #ffa;
308 }
308 }
309
309
310 .replace {
310 .replace {
311 background-color: #e8e8e8;
311 background-color: #e8e8e8;
312 }
312 }
313
313
314 .header {
314 .header {
315 text-align: center;
315 text-align: center;
316 }
316 }
317
317
318 .block {
318 .block {
319 border-top: 1px solid #999;
319 border-top: 1px solid #999;
320 }
320 }
321
321
322 .breadcrumb {
322 .breadcrumb {
323 color: gray;
323 color: gray;
324 }
324 }
325
325
326 .breadcrumb a {
326 .breadcrumb a {
327 color: blue;
327 color: blue;
328 }
328 }
General Comments 0
You need to be logged in to leave comments. Login now