##// END OF EJS Templates
hgweb: pull line numbers out of main flow of source content...
Paul Fisher -
r24427:811a1842 default
parent child Browse files
Show More
@@ -1,415 +1,416 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 div.atom-logo {
63 div.atom-logo {
64 margin-top: 10px;
64 margin-top: 10px;
65 }
65 }
66
66
67 .atom-logo img{
67 .atom-logo img{
68 width: 14px;
68 width: 14px;
69 height: 14px;
69 height: 14px;
70 border: 0;
70 border: 0;
71 }
71 }
72
72
73 .menu a { color: black; display: block; }
73 .menu a { color: black; display: block; }
74
74
75 .search {
75 .search {
76 position: absolute;
76 position: absolute;
77 top: .7em;
77 top: .7em;
78 right: 2em;
78 right: 2em;
79 }
79 }
80
80
81 form.search div#hint {
81 form.search div#hint {
82 display: none;
82 display: none;
83 position: absolute;
83 position: absolute;
84 top: 40px;
84 top: 40px;
85 right: 0px;
85 right: 0px;
86 width: 190px;
86 width: 190px;
87 padding: 5px;
87 padding: 5px;
88 background: #ffc;
88 background: #ffc;
89 font-size: 70%;
89 font-size: 70%;
90 border: 1px solid yellow;
90 border: 1px solid yellow;
91 -moz-border-radius: 5px; /* this works only in camino/firefox */
91 -moz-border-radius: 5px; /* this works only in camino/firefox */
92 -webkit-border-radius: 5px; /* this is just for Safari */
92 -webkit-border-radius: 5px; /* this is just for Safari */
93 }
93 }
94
94
95 form.search:hover div#hint { display: block; }
95 form.search:hover div#hint { display: block; }
96
96
97 a { text-decoration:none; }
97 a { text-decoration:none; }
98 .age { white-space:nowrap; }
98 .age { white-space:nowrap; }
99 .date { white-space:nowrap; }
99 .date { white-space:nowrap; }
100 .indexlinks { white-space:nowrap; }
100 .indexlinks { white-space:nowrap; }
101 .parity0,
101 .parity0,
102 .stripes4 > :nth-child(4n+1),
102 .stripes4 > :nth-child(4n+1),
103 .stripes2 > :nth-child(2n+1) { background-color: #f0f0f0; }
103 .stripes2 > :nth-child(2n+1) { background-color: #f0f0f0; }
104 .parity1,
104 .parity1,
105 .stripes4 > :nth-child(4n+3),
105 .stripes4 > :nth-child(4n+3),
106 .stripes2 > :nth-child(2n+2) { background-color: white; }
106 .stripes2 > :nth-child(2n+2) { background-color: white; }
107 .plusline { color: green; }
107 .plusline { color: green; }
108 .minusline { color: #dc143c; } /* crimson */
108 .minusline { color: #dc143c; } /* crimson */
109 .atline { color: purple; }
109 .atline { color: purple; }
110
110
111 .diffstat-table {
111 .diffstat-table {
112 margin-top: 1em;
112 margin-top: 1em;
113 }
113 }
114 .diffstat-file {
114 .diffstat-file {
115 white-space: nowrap;
115 white-space: nowrap;
116 font-size: 90%;
116 font-size: 90%;
117 }
117 }
118 .diffstat-total {
118 .diffstat-total {
119 white-space: nowrap;
119 white-space: nowrap;
120 font-size: 90%;
120 font-size: 90%;
121 }
121 }
122 .diffstat-graph {
122 .diffstat-graph {
123 width: 100%;
123 width: 100%;
124 }
124 }
125 .diffstat-add {
125 .diffstat-add {
126 background-color: green;
126 background-color: green;
127 float: left;
127 float: left;
128 }
128 }
129 .diffstat-remove {
129 .diffstat-remove {
130 background-color: red;
130 background-color: red;
131 float: left;
131 float: left;
132 }
132 }
133
133
134 .navigate {
134 .navigate {
135 text-align: right;
135 text-align: right;
136 font-size: 60%;
136 font-size: 60%;
137 margin: 1em 0;
137 margin: 1em 0;
138 }
138 }
139
139
140 .tag {
140 .tag {
141 color: #999;
141 color: #999;
142 font-size: 70%;
142 font-size: 70%;
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 .branchhead {
148 .branchhead {
149 color: #000;
149 color: #000;
150 font-size: 80%;
150 font-size: 80%;
151 font-weight: normal;
151 font-weight: normal;
152 margin-left: .5em;
152 margin-left: .5em;
153 vertical-align: baseline;
153 vertical-align: baseline;
154 }
154 }
155
155
156 ul#graphnodes .branchhead {
156 ul#graphnodes .branchhead {
157 font-size: 75%;
157 font-size: 75%;
158 }
158 }
159
159
160 .branchname {
160 .branchname {
161 color: #000;
161 color: #000;
162 font-size: 60%;
162 font-size: 60%;
163 font-weight: normal;
163 font-weight: normal;
164 margin-left: .5em;
164 margin-left: .5em;
165 vertical-align: baseline;
165 vertical-align: baseline;
166 }
166 }
167
167
168 h3 .branchname {
168 h3 .branchname {
169 font-size: 80%;
169 font-size: 80%;
170 }
170 }
171
171
172 /* Common */
172 /* Common */
173 pre { margin: 0; }
173 pre { margin: 0; }
174
174
175 h2 { font-size: 120%; border-bottom: 1px solid #999; }
175 h2 { font-size: 120%; border-bottom: 1px solid #999; }
176 h2 a { color: #000; }
176 h2 a { color: #000; }
177 h3 {
177 h3 {
178 margin-top: +.7em;
178 margin-top: +.7em;
179 font-size: 100%;
179 font-size: 100%;
180 }
180 }
181
181
182 /* log and tags tables */
182 /* log and tags tables */
183 .bigtable {
183 .bigtable {
184 border-bottom: 1px solid #999;
184 border-bottom: 1px solid #999;
185 border-collapse: collapse;
185 border-collapse: collapse;
186 font-size: 90%;
186 font-size: 90%;
187 width: 100%;
187 width: 100%;
188 font-weight: normal;
188 font-weight: normal;
189 text-align: left;
189 text-align: left;
190 }
190 }
191
191
192 .bigtable td {
192 .bigtable td {
193 vertical-align: top;
193 vertical-align: top;
194 }
194 }
195
195
196 .bigtable th {
196 .bigtable th {
197 padding: 1px 4px;
197 padding: 1px 4px;
198 border-bottom: 1px solid #999;
198 border-bottom: 1px solid #999;
199 }
199 }
200 .bigtable tr { border: none; }
200 .bigtable tr { border: none; }
201 .bigtable .age { width: 7em; }
201 .bigtable .age { width: 7em; }
202 .bigtable .author { width: 15em; }
202 .bigtable .author { width: 15em; }
203 .bigtable .description { }
203 .bigtable .description { }
204 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
204 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
205 .bigtable .node { width: 5em; font-family: monospace;}
205 .bigtable .node { width: 5em; font-family: monospace;}
206 .bigtable .permissions { width: 8em; text-align: left;}
206 .bigtable .permissions { width: 8em; text-align: left;}
207 .bigtable .size { width: 5em; text-align: right; }
207 .bigtable .size { width: 5em; text-align: right; }
208 .bigtable .annotate { text-align: right; }
208 .bigtable .annotate { text-align: right; }
209 .bigtable td.annotate { font-size: smaller; }
209 .bigtable td.annotate { font-size: smaller; }
210 .bigtable td.source { font-size: inherit; }
210 .bigtable td.source { font-size: inherit; }
211
211
212 .source, .sourcefirst, .sourcelast {
212 .source, .sourcefirst, .sourcelast {
213 font-family: monospace;
213 font-family: monospace;
214 white-space: pre;
214 white-space: pre;
215 padding: 1px 4px;
215 padding: 1px 4px;
216 font-size: 90%;
216 font-size: 90%;
217 }
217 }
218 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
218 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
219 .sourcelast { border-top: 1px solid #999; }
219 .sourcelast { border-top: 1px solid #999; }
220 .source a { color: #999; font-size: smaller; font-family: monospace;}
220 .source a { color: #999; font-size: smaller; font-family: monospace;}
221 .bottomline { border-bottom: 1px solid #999; }
221 .bottomline { border-bottom: 1px solid #999; }
222
222
223 .sourcelines {
223 .sourcelines {
224 font-size: 90%;
224 font-size: 90%;
225 position: relative;
225 position: relative;
226 counter-reset: lineno;
226 counter-reset: lineno;
227 }
227 }
228
228
229 .wrap > span {
229 .wrap > span {
230 white-space: pre-wrap;
230 white-space: pre-wrap;
231 }
231 }
232
232
233 .linewraptoggle {
233 .linewraptoggle {
234 float: right;
234 float: right;
235 }
235 }
236
236
237 .diffblocks { counter-reset: lineno; }
237 .diffblocks { counter-reset: lineno; }
238 .diffblocks > div { counter-increment: lineno; }
238 .diffblocks > div { counter-increment: lineno; }
239
239
240 .sourcelines > span {
240 .sourcelines > span {
241 display: inline-block;
241 display: inline-block;
242 box-sizing: border-box;
242 width: 100%;
243 width: 100%;
243 padding: 1px 0px;
244 padding: 1px 0px 1px 5em;
244 counter-increment: lineno;
245 counter-increment: lineno;
245 }
246 }
246
247
247 .sourcelines > span:before {
248 .sourcelines > span:before {
248 -moz-user-select: -moz-none;
249 -moz-user-select: -moz-none;
249 -khtml-user-select: none;
250 -khtml-user-select: none;
250 -webkit-user-select: none;
251 -webkit-user-select: none;
251 -ms-user-select: none;
252 -ms-user-select: none;
252 user-select: none;
253 user-select: none;
253 display: inline-block;
254 display: inline-block;
255 margin-left: -5em;
254 width: 4em;
256 width: 4em;
255 margin-right: 1em;
256 font-size: smaller;
257 font-size: smaller;
257 color: #999;
258 color: #999;
258 text-align: right;
259 text-align: right;
259 content: counters(lineno, ".");
260 content: counters(lineno, ".");
260 float: left;
261 float: left;
261 }
262 }
262
263
263 .sourcelines > span:target, tr:target td {
264 .sourcelines > span:target, tr:target td {
264 background-color: #bfdfff;
265 background-color: #bfdfff;
265 }
266 }
266
267
267 .sourcelines > a {
268 .sourcelines > a {
268 display: inline-block;
269 display: inline-block;
269 position: absolute;
270 position: absolute;
270 left: 0px;
271 left: 0px;
271 width: 4em;
272 width: 4em;
272 height: 1em;
273 height: 1em;
273 }
274 }
274
275
275 .fileline { font-family: monospace; }
276 .fileline { font-family: monospace; }
276 .fileline img { border: 0; }
277 .fileline img { border: 0; }
277
278
278 .tagEntry .closed { color: #99f; }
279 .tagEntry .closed { color: #99f; }
279
280
280 /* Changeset entry */
281 /* Changeset entry */
281 #changesetEntry {
282 #changesetEntry {
282 border-collapse: collapse;
283 border-collapse: collapse;
283 font-size: 90%;
284 font-size: 90%;
284 width: 100%;
285 width: 100%;
285 margin-bottom: 1em;
286 margin-bottom: 1em;
286 }
287 }
287
288
288 #changesetEntry th {
289 #changesetEntry th {
289 padding: 1px 4px;
290 padding: 1px 4px;
290 width: 4em;
291 width: 4em;
291 text-align: right;
292 text-align: right;
292 font-weight: normal;
293 font-weight: normal;
293 color: #999;
294 color: #999;
294 margin-right: .5em;
295 margin-right: .5em;
295 vertical-align: top;
296 vertical-align: top;
296 }
297 }
297
298
298 div.description {
299 div.description {
299 border-left: 2px solid #999;
300 border-left: 2px solid #999;
300 margin: 1em 0 1em 0;
301 margin: 1em 0 1em 0;
301 padding: .3em;
302 padding: .3em;
302 white-space: pre;
303 white-space: pre;
303 font-family: monospace;
304 font-family: monospace;
304 }
305 }
305
306
306 /* Graph */
307 /* Graph */
307 div#wrapper {
308 div#wrapper {
308 position: relative;
309 position: relative;
309 border-top: 1px solid black;
310 border-top: 1px solid black;
310 border-bottom: 1px solid black;
311 border-bottom: 1px solid black;
311 margin: 0;
312 margin: 0;
312 padding: 0;
313 padding: 0;
313 }
314 }
314
315
315 canvas {
316 canvas {
316 position: absolute;
317 position: absolute;
317 z-index: 5;
318 z-index: 5;
318 top: -0.7em;
319 top: -0.7em;
319 margin: 0;
320 margin: 0;
320 }
321 }
321
322
322 ul#graphnodes {
323 ul#graphnodes {
323 position: absolute;
324 position: absolute;
324 z-index: 10;
325 z-index: 10;
325 top: -1.0em;
326 top: -1.0em;
326 list-style: none inside none;
327 list-style: none inside none;
327 padding: 0;
328 padding: 0;
328 }
329 }
329
330
330 ul#nodebgs {
331 ul#nodebgs {
331 list-style: none inside none;
332 list-style: none inside none;
332 padding: 0;
333 padding: 0;
333 margin: 0;
334 margin: 0;
334 top: -0.7em;
335 top: -0.7em;
335 }
336 }
336
337
337 ul#graphnodes li, ul#nodebgs li {
338 ul#graphnodes li, ul#nodebgs li {
338 height: 39px;
339 height: 39px;
339 }
340 }
340
341
341 ul#graphnodes li .info {
342 ul#graphnodes li .info {
342 display: block;
343 display: block;
343 font-size: 70%;
344 font-size: 70%;
344 position: relative;
345 position: relative;
345 top: -3px;
346 top: -3px;
346 }
347 }
347
348
348 /* Comparison */
349 /* Comparison */
349 .legend {
350 .legend {
350 padding: 1.5% 0 1.5% 0;
351 padding: 1.5% 0 1.5% 0;
351 }
352 }
352
353
353 .legendinfo {
354 .legendinfo {
354 border: 1px solid #999;
355 border: 1px solid #999;
355 font-size: 80%;
356 font-size: 80%;
356 text-align: center;
357 text-align: center;
357 padding: 0.5%;
358 padding: 0.5%;
358 }
359 }
359
360
360 .equal {
361 .equal {
361 background-color: #ffffff;
362 background-color: #ffffff;
362 }
363 }
363
364
364 .delete {
365 .delete {
365 background-color: #faa;
366 background-color: #faa;
366 color: #333;
367 color: #333;
367 }
368 }
368
369
369 .insert {
370 .insert {
370 background-color: #ffa;
371 background-color: #ffa;
371 }
372 }
372
373
373 .replace {
374 .replace {
374 background-color: #e8e8e8;
375 background-color: #e8e8e8;
375 }
376 }
376
377
377 .header {
378 .header {
378 text-align: center;
379 text-align: center;
379 }
380 }
380
381
381 .block {
382 .block {
382 border-top: 1px solid #999;
383 border-top: 1px solid #999;
383 }
384 }
384
385
385 .breadcrumb {
386 .breadcrumb {
386 color: gray;
387 color: gray;
387 }
388 }
388
389
389 .breadcrumb a {
390 .breadcrumb a {
390 color: blue;
391 color: blue;
391 }
392 }
392
393
393 .scroll-loading {
394 .scroll-loading {
394 -webkit-animation: change_color 1s linear 0s infinite alternate;
395 -webkit-animation: change_color 1s linear 0s infinite alternate;
395 -moz-animation: change_color 1s linear 0s infinite alternate;
396 -moz-animation: change_color 1s linear 0s infinite alternate;
396 -o-animation: change_color 1s linear 0s infinite alternate;
397 -o-animation: change_color 1s linear 0s infinite alternate;
397 animation: change_color 1s linear 0s infinite alternate;
398 animation: change_color 1s linear 0s infinite alternate;
398 }
399 }
399
400
400 @-webkit-keyframes change_color {
401 @-webkit-keyframes change_color {
401 from { background-color: #A0CEFF; } to { }
402 from { background-color: #A0CEFF; } to { }
402 }
403 }
403 @-moz-keyframes change_color {
404 @-moz-keyframes change_color {
404 from { background-color: #A0CEFF; } to { }
405 from { background-color: #A0CEFF; } to { }
405 }
406 }
406 @-o-keyframes change_color {
407 @-o-keyframes change_color {
407 from { background-color: #A0CEFF; } to { }
408 from { background-color: #A0CEFF; } to { }
408 }
409 }
409 @keyframes change_color {
410 @keyframes change_color {
410 from { background-color: #A0CEFF; } to { }
411 from { background-color: #A0CEFF; } to { }
411 }
412 }
412
413
413 .scroll-loading-error {
414 .scroll-loading-error {
414 background-color: #FFCCCC !important;
415 background-color: #FFCCCC !important;
415 }
416 }
General Comments 0
You need to be logged in to leave comments. Login now