##// END OF EJS Templates
monoblue: make annotate popup use theme colors
av6 -
r29627:1811a33c stable
parent child Browse files
Show More
@@ -1,571 +1,571
1 /*** Initial Settings ***/
1 /*** Initial Settings ***/
2 * {
2 * {
3 margin: 0;
3 margin: 0;
4 padding: 0;
4 padding: 0;
5 font-weight: normal;
5 font-weight: normal;
6 font-style: normal;
6 font-style: normal;
7 }
7 }
8
8
9 html {
9 html {
10 font-size: 100%;
10 font-size: 100%;
11 font-family: sans-serif;
11 font-family: sans-serif;
12 }
12 }
13
13
14 body {
14 body {
15 font-size: 77%;
15 font-size: 77%;
16 margin: 15px 50px;
16 margin: 15px 50px;
17 background: #4B4B4C;
17 background: #4B4B4C;
18 }
18 }
19
19
20 a {
20 a {
21 color:#0000cc;
21 color:#0000cc;
22 text-decoration: none;
22 text-decoration: none;
23 }
23 }
24 /*** end of Initial Settings ***/
24 /*** end of Initial Settings ***/
25
25
26
26
27 /** common settings **/
27 /** common settings **/
28 div#container {
28 div#container {
29 background: #FFFFFF;
29 background: #FFFFFF;
30 position: relative;
30 position: relative;
31 color: #666;
31 color: #666;
32 }
32 }
33
33
34 div.page-header {
34 div.page-header {
35 padding: 50px 20px 0;
35 padding: 50px 20px 0;
36 background: #006699 top left repeat-x;
36 background: #006699 top left repeat-x;
37 position: relative;
37 position: relative;
38 }
38 }
39 div.page-header h1 {
39 div.page-header h1 {
40 margin: 10px 0 30px;
40 margin: 10px 0 30px;
41 font-size: 1.8em;
41 font-size: 1.8em;
42 font-weight: bold;
42 font-weight: bold;
43 font-family: osaka,'MS P Gothic', Georgia, serif;
43 font-family: osaka,'MS P Gothic', Georgia, serif;
44 letter-spacing: 1px;
44 letter-spacing: 1px;
45 color: #DDD;
45 color: #DDD;
46 }
46 }
47 div.page-header h1 a {
47 div.page-header h1 a {
48 font-weight: bold;
48 font-weight: bold;
49 color: #FFF;
49 color: #FFF;
50 }
50 }
51 div.page-header a {
51 div.page-header a {
52 text-decoration: none;
52 text-decoration: none;
53 }
53 }
54
54
55 div.page-header form {
55 div.page-header form {
56 float: right;
56 float: right;
57 margin-top: -2px;
57 margin-top: -2px;
58 }
58 }
59 div.page-header form label {
59 div.page-header form label {
60 color: #DDD;
60 color: #DDD;
61 }
61 }
62 div.page-header form input {
62 div.page-header form input {
63 padding: 2px;
63 padding: 2px;
64 border: solid 1px #DDD;
64 border: solid 1px #DDD;
65 }
65 }
66 div.page-header form dl {
66 div.page-header form dl {
67 overflow: hidden;
67 overflow: hidden;
68 }
68 }
69 div.page-header form dl dt {
69 div.page-header form dl dt {
70 font-size: 1.2em;
70 font-size: 1.2em;
71 }
71 }
72 div.page-header form dl dt,
72 div.page-header form dl dt,
73 div.page-header form dl dd {
73 div.page-header form dl dd {
74 margin: 0 0 0 5px;
74 margin: 0 0 0 5px;
75 float: left;
75 float: left;
76 height: 24px;
76 height: 24px;
77 line-height: 20px;
77 line-height: 20px;
78 }
78 }
79
79
80 ul.page-nav {
80 ul.page-nav {
81 margin: 10px 0 0 0;
81 margin: 10px 0 0 0;
82 list-style-type: none;
82 list-style-type: none;
83 overflow: hidden;
83 overflow: hidden;
84 }
84 }
85 ul.page-nav li {
85 ul.page-nav li {
86 margin: 0 2px 0 0;
86 margin: 0 2px 0 0;
87 float: left;
87 float: left;
88 width: 80px;
88 width: 80px;
89 height: 24px;
89 height: 24px;
90 font-size: 1.1em;
90 font-size: 1.1em;
91 line-height: 24px;
91 line-height: 24px;
92 text-align: center;
92 text-align: center;
93 }
93 }
94 ul.page-nav li.current {
94 ul.page-nav li.current {
95 background: #FFF;
95 background: #FFF;
96 }
96 }
97 ul.page-nav li a {
97 ul.page-nav li a {
98 height: 24px;
98 height: 24px;
99 color: #666;
99 color: #666;
100 background: #DDD;
100 background: #DDD;
101 display: block;
101 display: block;
102 text-decoration: none;
102 text-decoration: none;
103 }
103 }
104 ul.page-nav li a:hover {
104 ul.page-nav li a:hover {
105 color:#333;
105 color:#333;
106 background: #FFF;
106 background: #FFF;
107 }
107 }
108
108
109 ul.submenu {
109 ul.submenu {
110 margin: 10px 0 -10px 20px;
110 margin: 10px 0 -10px 20px;
111 list-style-type: none;
111 list-style-type: none;
112 }
112 }
113 ul.submenu li {
113 ul.submenu li {
114 margin: 0 10px 0 0;
114 margin: 0 10px 0 0;
115 font-size: 1.2em;
115 font-size: 1.2em;
116 display: inline;
116 display: inline;
117 }
117 }
118
118
119 h2 {
119 h2 {
120 margin: 20px 0 10px;
120 margin: 20px 0 10px;
121 height: 30px;
121 height: 30px;
122 line-height: 30px;
122 line-height: 30px;
123 text-indent: 20px;
123 text-indent: 20px;
124 background: #FFF;
124 background: #FFF;
125 font-size: 1.2em;
125 font-size: 1.2em;
126 border-top: dotted 1px #D5E1E6;
126 border-top: dotted 1px #D5E1E6;
127 font-weight: bold;
127 font-weight: bold;
128 }
128 }
129 h2.no-link {
129 h2.no-link {
130 color:#006699;
130 color:#006699;
131 }
131 }
132 h2.no-border {
132 h2.no-border {
133 color: #FFF;
133 color: #FFF;
134 background: #006699;
134 background: #006699;
135 border: 0;
135 border: 0;
136 }
136 }
137 h2 a {
137 h2 a {
138 font-weight:bold;
138 font-weight:bold;
139 color:#006699;
139 color:#006699;
140 }
140 }
141
141
142 div.page-path {
142 div.page-path {
143 text-align: right;
143 text-align: right;
144 padding: 20px 30px 10px 0;
144 padding: 20px 30px 10px 0;
145 border:solid #d9d8d1;
145 border:solid #d9d8d1;
146 border-width:0px 0px 1px;
146 border-width:0px 0px 1px;
147 font-size: 1.2em;
147 font-size: 1.2em;
148 }
148 }
149
149
150 div.page-footer {
150 div.page-footer {
151 margin: 50px 0 0;
151 margin: 50px 0 0;
152 position: relative;
152 position: relative;
153 }
153 }
154 div.page-footer p {
154 div.page-footer p {
155 position: relative;
155 position: relative;
156 padding-left: 20px;
156 padding-left: 20px;
157 bottom: 5px;
157 bottom: 5px;
158 font-size: 1.2em;
158 font-size: 1.2em;
159 }
159 }
160
160
161 ul.rss-logo {
161 ul.rss-logo {
162 position: absolute;
162 position: absolute;
163 top: -10px;
163 top: -10px;
164 right: 20px;
164 right: 20px;
165 height: 20px;
165 height: 20px;
166 list-style-type: none;
166 list-style-type: none;
167 }
167 }
168 ul.rss-logo li {
168 ul.rss-logo li {
169 display: inline;
169 display: inline;
170 }
170 }
171 ul.rss-logo li a {
171 ul.rss-logo li a {
172 padding: 3px 6px;
172 padding: 3px 6px;
173 line-height: 10px;
173 line-height: 10px;
174 border:1px solid;
174 border:1px solid;
175 border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e;
175 border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e;
176 color:#ffffff;
176 color:#ffffff;
177 background-color:#ff6600;
177 background-color:#ff6600;
178 font-weight:bold;
178 font-weight:bold;
179 font-family:sans-serif;
179 font-family:sans-serif;
180 font-size:10px;
180 font-size:10px;
181 text-align:center;
181 text-align:center;
182 text-decoration:none;
182 text-decoration:none;
183 }
183 }
184 div.rss-logo li a:hover {
184 div.rss-logo li a:hover {
185 background-color:#ee5500;
185 background-color:#ee5500;
186 }
186 }
187
187
188 p.normal {
188 p.normal {
189 margin: 20px 0 20px 30px;
189 margin: 20px 0 20px 30px;
190 font-size: 1.2em;
190 font-size: 1.2em;
191 }
191 }
192
192
193 table {
193 table {
194 margin: 10px 0 0 20px;
194 margin: 10px 0 0 20px;
195 width: 95%;
195 width: 95%;
196 border-collapse: collapse;
196 border-collapse: collapse;
197 }
197 }
198 table tr td {
198 table tr td {
199 font-size: 1.1em;
199 font-size: 1.1em;
200 }
200 }
201 table tr td.nowrap {
201 table tr td.nowrap {
202 white-space: nowrap;
202 white-space: nowrap;
203 }
203 }
204 table tr td.closed {
204 table tr td.closed {
205 background-color: #99f;
205 background-color: #99f;
206 }
206 }
207 /*
207 /*
208 table tr.parity0:hover,
208 table tr.parity0:hover,
209 table tr.parity1:hover {
209 table tr.parity1:hover {
210 background: #D5E1E6;
210 background: #D5E1E6;
211 }
211 }
212 */
212 */
213 table tr.parity0,
213 table tr.parity0,
214 table td.annotate.parity0 {
214 table td.annotate.parity0 {
215 background: #F1F6F7;
215 background: #F1F6F7;
216 }
216 }
217 table tr.parity1,
217 table tr.parity1,
218 table td.annotate.parity1 {
218 table td.annotate.parity1 {
219 background: #FFFFFF;
219 background: #FFFFFF;
220 }
220 }
221 table tr td {
221 table tr td {
222 padding: 5px 5px;
222 padding: 5px 5px;
223 }
223 }
224 table.annotated tr td {
224 table.annotated tr td {
225 padding: 0px 5px;
225 padding: 0px 5px;
226 }
226 }
227
227
228 span.logtags span {
228 span.logtags span {
229 padding: 2px 6px;
229 padding: 2px 6px;
230 font-weight: normal;
230 font-weight: normal;
231 font-size: 11px;
231 font-size: 11px;
232 border: 1px solid;
232 border: 1px solid;
233 background-color: #ffaaff;
233 background-color: #ffaaff;
234 border-color: #ffccff #ff00ee #ff00ee #ffccff;
234 border-color: #ffccff #ff00ee #ff00ee #ffccff;
235 }
235 }
236 span.logtags span.tagtag {
236 span.logtags span.tagtag {
237 background-color: #ffffaa;
237 background-color: #ffffaa;
238 border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
238 border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
239 }
239 }
240 span.logtags span.branchtag {
240 span.logtags span.branchtag {
241 background-color: #aaffaa;
241 background-color: #aaffaa;
242 border-color: #ccffcc #00cc33 #00cc33 #ccffcc;
242 border-color: #ccffcc #00cc33 #00cc33 #ccffcc;
243 }
243 }
244 span.logtags span.inbranchtag {
244 span.logtags span.inbranchtag {
245 background-color: #d5dde6;
245 background-color: #d5dde6;
246 border-color: #e3ecf4 #9398f4 #9398f4 #e3ecf4;
246 border-color: #e3ecf4 #9398f4 #9398f4 #e3ecf4;
247 }
247 }
248 span.logtags span.bookmarktag {
248 span.logtags span.bookmarktag {
249 background-color: #afdffa;
249 background-color: #afdffa;
250 border-color: #ccecff #46ace6 #46ace6 #ccecff;
250 border-color: #ccecff #46ace6 #46ace6 #ccecff;
251 }
251 }
252
252
253 div.diff pre {
253 div.diff pre {
254 margin: 10px 0 0 0;
254 margin: 10px 0 0 0;
255 }
255 }
256 div.diff pre span {
256 div.diff pre span {
257 font-family: monospace;
257 font-family: monospace;
258 white-space: pre;
258 white-space: pre;
259 font-size: 1.2em;
259 font-size: 1.2em;
260 }
260 }
261 div.diffblocks { counter-reset: lineno; }
261 div.diffblocks { counter-reset: lineno; }
262 div.diffblock { counter-increment: lineno; }
262 div.diffblock { counter-increment: lineno; }
263 span.difflineplus { color:#008800; }
263 span.difflineplus { color:#008800; }
264 span.difflineminus { color:#cc0000; }
264 span.difflineminus { color:#cc0000; }
265 span.difflineat { color:#990099; }
265 span.difflineat { color:#990099; }
266
266
267 pre.sourcelines {
267 pre.sourcelines {
268 position: relative;
268 position: relative;
269 counter-reset: lineno;
269 counter-reset: lineno;
270 font-size: 1.2em;
270 font-size: 1.2em;
271 }
271 }
272 pre.sourcelines > span {
272 pre.sourcelines > span {
273 display: inline-block;
273 display: inline-block;
274 box-sizing: border-box;
274 box-sizing: border-box;
275 width: 100%;
275 width: 100%;
276 padding: 0 0 0 5em;
276 padding: 0 0 0 5em;
277 counter-increment: lineno;
277 counter-increment: lineno;
278 vertical-align: top;
278 vertical-align: top;
279 }
279 }
280 div.source > pre.sourcelines > span {
280 div.source > pre.sourcelines > span {
281 padding: 1px 1px 1px 5em;
281 padding: 1px 1px 1px 5em;
282 }
282 }
283 pre.sourcelines > span:before {
283 pre.sourcelines > span:before {
284 -moz-user-select: -moz-none;
284 -moz-user-select: -moz-none;
285 -khtml-user-select: none;
285 -khtml-user-select: none;
286 -webkit-user-select: none;
286 -webkit-user-select: none;
287 -ms-user-select: none;
287 -ms-user-select: none;
288 user-select: none;
288 user-select: none;
289 display: inline-block;
289 display: inline-block;
290 margin-left: -5em;
290 margin-left: -5em;
291 width: 4em;
291 width: 4em;
292 color: #999;
292 color: #999;
293 text-align: right;
293 text-align: right;
294 content: counters(lineno,".");
294 content: counters(lineno,".");
295 float: left;
295 float: left;
296 }
296 }
297 pre.sourcelines > a {
297 pre.sourcelines > a {
298 display: inline-block;
298 display: inline-block;
299 position: absolute;
299 position: absolute;
300 left: 0px;
300 left: 0px;
301 width: 4em;
301 width: 4em;
302 height: 1em;
302 height: 1em;
303 padding: 0.15em;
303 padding: 0.15em;
304 }
304 }
305 pre.sourcelines.stripes > :nth-child(4n+2) { background-color: #F1F6F7; }
305 pre.sourcelines.stripes > :nth-child(4n+2) { background-color: #F1F6F7; }
306 pre.sourcelines.stripes > :nth-child(4n+4) { background-color: #FFFFFF; }
306 pre.sourcelines.stripes > :nth-child(4n+4) { background-color: #FFFFFF; }
307 pre.sourcelines.stripes > :nth-child(4n+2):hover,
307 pre.sourcelines.stripes > :nth-child(4n+2):hover,
308 pre.sourcelines.stripes > :nth-child(4n+4):hover,
308 pre.sourcelines.stripes > :nth-child(4n+4):hover,
309 pre.sourcelines.stripes > :nth-child(4n+1):hover + :nth-child(4n+2),
309 pre.sourcelines.stripes > :nth-child(4n+1):hover + :nth-child(4n+2),
310 pre.sourcelines.stripes > :nth-child(4n+3):hover + :nth-child(4n+4) { background-color: #D5E1E6; }
310 pre.sourcelines.stripes > :nth-child(4n+3):hover + :nth-child(4n+4) { background-color: #D5E1E6; }
311
311
312 pre.sourcelines > span:target,
312 pre.sourcelines > span:target,
313 pre.sourcelines.stripes > span:target {
313 pre.sourcelines.stripes > span:target {
314 background-color: #bfdfff;
314 background-color: #bfdfff;
315 }
315 }
316
316
317 td.source {
317 td.source {
318 white-space: pre;
318 white-space: pre;
319 margin: 10px 30px 0;
319 margin: 10px 30px 0;
320 font-size: 1.2em;
320 font-size: 1.2em;
321 font-family: monospace;
321 font-family: monospace;
322 }
322 }
323 .linenr {
323 .linenr {
324 color: #999;
324 color: #999;
325 text-align: right;
325 text-align: right;
326 }
326 }
327 .lineno {
327 .lineno {
328 text-align: right;
328 text-align: right;
329 }
329 }
330 .lineno a {
330 .lineno a {
331 color: #999;
331 color: #999;
332 }
332 }
333 td.linenr {
333 td.linenr {
334 width: 60px;
334 width: 60px;
335 }
335 }
336 tr.thisrev a { color:#999999; text-decoration: none; }
336 tr.thisrev a { color:#999999; text-decoration: none; }
337 tr.thisrev td.source { color:#009900; }
337 tr.thisrev td.source { color:#009900; }
338 div.annotate-info {
338 div.annotate-info {
339 display: none;
339 display: none;
340 position: absolute;
340 position: absolute;
341 background-color: #FFFFFF;
341 background-color: #FFFFFF;
342 border: 1px solid #000000;
342 border: solid 1px #CCC;
343 text-align: left;
343 text-align: left;
344 color: #000000;
344 color: #666;
345 padding: 5px;
345 padding: 5px;
346 }
346 }
347 div.annotate-info a { color: #0000FF; }
347 div.annotate-info a { color: #0000FF; }
348 td.annotate:hover div.annotate-info { display: inline; }
348 td.annotate:hover div.annotate-info { display: inline; }
349
349
350 div#powered-by {
350 div#powered-by {
351 position: absolute;
351 position: absolute;
352 width: 75px;
352 width: 75px;
353 top: 15px;
353 top: 15px;
354 right: 20px;
354 right: 20px;
355 font-size: 1.2em;
355 font-size: 1.2em;
356 }
356 }
357 div#powered-by a {
357 div#powered-by a {
358 color: #EEE;
358 color: #EEE;
359 text-decoration: none;
359 text-decoration: none;
360 }
360 }
361 div#powered-by a:hover {
361 div#powered-by a:hover {
362 text-decoration: underline;
362 text-decoration: underline;
363 }
363 }
364 /** end of common settings **/
364 /** end of common settings **/
365
365
366 /** summary **/
366 /** summary **/
367 dl.overview {
367 dl.overview {
368 margin: 0 0 0 30px;
368 margin: 0 0 0 30px;
369 font-size: 1.1em;
369 font-size: 1.1em;
370 overflow: hidden;
370 overflow: hidden;
371 }
371 }
372 dl.overview dt,
372 dl.overview dt,
373 dl.overview dd {
373 dl.overview dd {
374 margin: 5px 0;
374 margin: 5px 0;
375 float: left;
375 float: left;
376 }
376 }
377 dl.overview dt {
377 dl.overview dt {
378 clear: left;
378 clear: left;
379 font-weight: bold;
379 font-weight: bold;
380 width: 150px;
380 width: 150px;
381 }
381 }
382 /** end of summary **/
382 /** end of summary **/
383
383
384 /** chagelog **/
384 /** chagelog **/
385 h3.changelog {
385 h3.changelog {
386 margin: 20px 0 5px 30px;
386 margin: 20px 0 5px 30px;
387 padding: 0 0 2px;
387 padding: 0 0 2px;
388 font-size: 1.4em;
388 font-size: 1.4em;
389 border-bottom: dotted 1px #D5E1E6;
389 border-bottom: dotted 1px #D5E1E6;
390 }
390 }
391 ul.changelog-entry {
391 ul.changelog-entry {
392 margin: 0 0 10px 30px;
392 margin: 0 0 10px 30px;
393 list-style-type: none;
393 list-style-type: none;
394 position: relative;
394 position: relative;
395 }
395 }
396 ul.changelog-entry li span.revdate {
396 ul.changelog-entry li span.revdate {
397 font-size: 1.1em;
397 font-size: 1.1em;
398 }
398 }
399 ul.changelog-entry li.age {
399 ul.changelog-entry li.age {
400 position: absolute;
400 position: absolute;
401 top: -25px;
401 top: -25px;
402 right: 10px;
402 right: 10px;
403 font-size: 1.4em;
403 font-size: 1.4em;
404 color: #CCC;
404 color: #CCC;
405 font-weight: bold;
405 font-weight: bold;
406 font-style: italic;
406 font-style: italic;
407 }
407 }
408 ul.changelog-entry li span.name {
408 ul.changelog-entry li span.name {
409 font-size: 1.2em;
409 font-size: 1.2em;
410 font-weight: bold;
410 font-weight: bold;
411 }
411 }
412 ul.changelog-entry li.description {
412 ul.changelog-entry li.description {
413 margin: 10px 0 0;
413 margin: 10px 0 0;
414 font-size: 1.1em;
414 font-size: 1.1em;
415 }
415 }
416 /** end of changelog **/
416 /** end of changelog **/
417
417
418 /** file **/
418 /** file **/
419 p.files {
419 p.files {
420 margin: 0 0 0 20px;
420 margin: 0 0 0 20px;
421 font-size: 2.0em;
421 font-size: 2.0em;
422 font-weight: bold;
422 font-weight: bold;
423 }
423 }
424 /** end of file **/
424 /** end of file **/
425
425
426 /** changeset **/
426 /** changeset **/
427 h3.changeset {
427 h3.changeset {
428 margin: 20px 0 5px 20px;
428 margin: 20px 0 5px 20px;
429 padding: 0 0 2px;
429 padding: 0 0 2px;
430 font-size: 1.6em;
430 font-size: 1.6em;
431 border-bottom: dotted 1px #D5E1E6;
431 border-bottom: dotted 1px #D5E1E6;
432 }
432 }
433 p.changeset-age {
433 p.changeset-age {
434 position: relative;
434 position: relative;
435 }
435 }
436 p.changeset-age span {
436 p.changeset-age span {
437 position: absolute;
437 position: absolute;
438 top: -25px;
438 top: -25px;
439 right: 10px;
439 right: 10px;
440 font-size: 1.4em;
440 font-size: 1.4em;
441 color: #CCC;
441 color: #CCC;
442 font-weight: bold;
442 font-weight: bold;
443 font-style: italic;
443 font-style: italic;
444 }
444 }
445 p.description {
445 p.description {
446 margin: 10px 30px 0 30px;
446 margin: 10px 30px 0 30px;
447 padding: 10px;
447 padding: 10px;
448 border: solid 1px #CCC;
448 border: solid 1px #CCC;
449 font-size: 1.2em;
449 font-size: 1.2em;
450 }
450 }
451 /** end of changeset **/
451 /** end of changeset **/
452
452
453 /** canvas **/
453 /** canvas **/
454 div#wrapper {
454 div#wrapper {
455 position: relative;
455 position: relative;
456 font-size: 1.2em;
456 font-size: 1.2em;
457 }
457 }
458
458
459 canvas {
459 canvas {
460 position: absolute;
460 position: absolute;
461 z-index: 5;
461 z-index: 5;
462 top: -0.7em;
462 top: -0.7em;
463 }
463 }
464
464
465 ul#nodebgs li.parity0 {
465 ul#nodebgs li.parity0 {
466 background: #F1F6F7;
466 background: #F1F6F7;
467 }
467 }
468
468
469 ul#nodebgs li.parity1 {
469 ul#nodebgs li.parity1 {
470 background: #FFFFFF;
470 background: #FFFFFF;
471 }
471 }
472
472
473 ul#graphnodes {
473 ul#graphnodes {
474 position: absolute;
474 position: absolute;
475 z-index: 10;
475 z-index: 10;
476 top: 7px;
476 top: 7px;
477 list-style: none inside none;
477 list-style: none inside none;
478 }
478 }
479
479
480 ul#nodebgs {
480 ul#nodebgs {
481 list-style: none inside none;
481 list-style: none inside none;
482 }
482 }
483
483
484 ul#graphnodes li, ul#nodebgs li {
484 ul#graphnodes li, ul#nodebgs li {
485 height: 39px;
485 height: 39px;
486 }
486 }
487
487
488 ul#graphnodes li .info {
488 ul#graphnodes li .info {
489 display: block;
489 display: block;
490 position: relative;
490 position: relative;
491 }
491 }
492 /** end of canvas **/
492 /** end of canvas **/
493
493
494 /** comparison **/
494 /** comparison **/
495 .legend {
495 .legend {
496 margin-left: 20px;
496 margin-left: 20px;
497 padding: 1.5% 0 1.5% 0;
497 padding: 1.5% 0 1.5% 0;
498 }
498 }
499
499
500 .legendinfo {
500 .legendinfo {
501 border: 1px solid #999;
501 border: 1px solid #999;
502 font-size: 80%;
502 font-size: 80%;
503 text-align: center;
503 text-align: center;
504 padding: 0.5%;
504 padding: 0.5%;
505 }
505 }
506
506
507 .equal {
507 .equal {
508 background-color: #ffffff;
508 background-color: #ffffff;
509 }
509 }
510
510
511 .delete {
511 .delete {
512 background-color: #faa;
512 background-color: #faa;
513 color: #333;
513 color: #333;
514 }
514 }
515
515
516 .insert {
516 .insert {
517 background-color: #ffa;
517 background-color: #ffa;
518 }
518 }
519
519
520 .replace {
520 .replace {
521 background-color: #e8e8e8;
521 background-color: #e8e8e8;
522 }
522 }
523
523
524 .comparison {
524 .comparison {
525 overflow-x: auto;
525 overflow-x: auto;
526 }
526 }
527
527
528 .comparison table td {
528 .comparison table td {
529 padding: 0px 5px;
529 padding: 0px 5px;
530 }
530 }
531
531
532 .header th {
532 .header th {
533 font-weight: bold;
533 font-weight: bold;
534 }
534 }
535
535
536 .block {
536 .block {
537 border-top: 1px solid #999;
537 border-top: 1px solid #999;
538 }
538 }
539 /** end of comparison **/
539 /** end of comparison **/
540
540
541 .breadcrumb a:hover {
541 .breadcrumb a:hover {
542 text-decoration:underline;
542 text-decoration:underline;
543 }
543 }
544
544
545 .scroll-loading {
545 .scroll-loading {
546 -webkit-animation: change_color 1s linear 0s infinite alternate;
546 -webkit-animation: change_color 1s linear 0s infinite alternate;
547 -moz-animation: change_color 1s linear 0s infinite alternate;
547 -moz-animation: change_color 1s linear 0s infinite alternate;
548 -o-animation: change_color 1s linear 0s infinite alternate;
548 -o-animation: change_color 1s linear 0s infinite alternate;
549 animation: change_color 1s linear 0s infinite alternate;
549 animation: change_color 1s linear 0s infinite alternate;
550 }
550 }
551
551
552 @-webkit-keyframes change_color {
552 @-webkit-keyframes change_color {
553 from { background-color: #A0CEFF; } to { }
553 from { background-color: #A0CEFF; } to { }
554 }
554 }
555 @-moz-keyframes change_color {
555 @-moz-keyframes change_color {
556 from { background-color: #A0CEFF; } to { }
556 from { background-color: #A0CEFF; } to { }
557 }
557 }
558 @-o-keyframes change_color {
558 @-o-keyframes change_color {
559 from { background-color: #A0CEFF; } to { }
559 from { background-color: #A0CEFF; } to { }
560 }
560 }
561 @keyframes change_color {
561 @keyframes change_color {
562 from { background-color: #A0CEFF; } to { }
562 from { background-color: #A0CEFF; } to { }
563 }
563 }
564
564
565 .scroll-loading-error {
565 .scroll-loading-error {
566 background-color: #FFCCCC !important;
566 background-color: #FFCCCC !important;
567 }
567 }
568
568
569 #doc {
569 #doc {
570 margin: 0 30px;
570 margin: 0 30px;
571 }
571 }
General Comments 0
You need to be logged in to leave comments. Login now