32 tr.light:hover, .parity0:hover { background-color:#edece6; } |
32 tr.light:hover, .parity0:hover { background-color:#edece6; } |
33 tr.dark, .parity1 { background-color:#f6f6f0; } |
33 tr.dark, .parity1 { background-color:#f6f6f0; } |
34 tr.dark:hover, .parity1:hover { background-color:#edece6; } |
34 tr.dark:hover, .parity1:hover { background-color:#edece6; } |
35 td { padding:2px 5px; font-size:12px; vertical-align:top; } |
35 td { padding:2px 5px; font-size:12px; vertical-align:top; } |
36 td.link { padding:2px 5px; font-family:sans-serif; font-size:10px; } |
36 td.link { padding:2px 5px; font-family:sans-serif; font-size:10px; } |
|
37 td.indexlinks { white-space: nowrap; } |
|
38 td.indexlinks a { |
|
39 padding: 2px 5px; line-height: 10px; |
|
40 border: 1px solid; |
|
41 color: #ffffff; background-color: #7777bb; |
|
42 border-color: #aaaadd #333366 #333366 #aaaadd; |
|
43 font-weight: bold; text-align: center; text-decoration: none; |
|
44 font-size: 10px; |
|
45 } |
|
46 td.indexlinks a:hover { background-color: #6666aa; } |
37 div.pre { font-family:monospace; font-size:12px; white-space:pre; } |
47 div.pre { font-family:monospace; font-size:12px; white-space:pre; } |
38 div.diff_info { font-family:monospace; color:#000099; background-color:#edece6; font-style:italic; } |
48 div.diff_info { font-family:monospace; color:#000099; background-color:#edece6; font-style:italic; } |
39 div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; } |
49 div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; } |
40 div.search { margin:4px 8px; position:absolute; top:56px; right:12px } |
50 div.search { margin:4px 8px; position:absolute; top:56px; right:12px } |
41 .linenr { color:#999999; text-decoration:none } |
51 .linenr { color:#999999; text-decoration:none } |
42 a.rss_logo { |
52 div.rss_logo { float: right; white-space: nowrap; } |
43 float:right; padding:3px 6px; line-height:10px; |
53 div.rss_logo a { |
|
54 padding:3px 6px; line-height:10px; |
44 border:1px solid; border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e; |
55 border:1px solid; border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e; |
45 color:#ffffff; background-color:#ff6600; |
56 color:#ffffff; background-color:#ff6600; |
46 font-weight:bold; font-family:sans-serif; font-size:10px; |
57 font-weight:bold; font-family:sans-serif; font-size:10px; |
47 text-align:center; text-decoration:none; |
58 text-align:center; text-decoration:none; |
48 } |
59 } |
49 a.rss_logo:hover { background-color:#ee5500; } |
60 div.rss_logo a:hover { background-color:#ee5500; } |
50 pre { margin: 0; } |
61 pre { margin: 0; } |
51 span.logtags span { |
62 span.logtags span { |
52 padding: 0px 4px; |
63 padding: 0px 4px; |
53 font-size: 10px; |
64 font-size: 10px; |
54 font-weight: normal; |
65 font-weight: normal; |