35 div.list_head { padding:6px 8px 4px; border:solid #d9d8d1; border-width:1px 0px 0px; font-style:italic; } |
35 div.list_head { padding:6px 8px 4px; border:solid #d9d8d1; border-width:1px 0px 0px; font-style:italic; } |
36 a.list { text-decoration:none; color:#000000; } |
36 a.list { text-decoration:none; color:#000000; } |
37 a.list:hover { text-decoration:underline; color:#880000; } |
37 a.list:hover { text-decoration:underline; color:#880000; } |
38 table { padding:8px 4px; } |
38 table { padding:8px 4px; } |
39 th { padding:2px 5px; font-size:12px; text-align:left; } |
39 th { padding:2px 5px; font-size:12px; text-align:left; } |
40 tr.light:hover, tr.parity0:hover { background-color:#edece6; } |
40 tr.light:hover, .parity0:hover { background-color:#edece6; } |
41 tr.dark, tr.parity1 { background-color:#f6f6f0; } |
41 tr.dark, .parity1 { background-color:#f6f6f0; } |
42 tr.dark:hover, tr.parity1:hover { background-color:#edece6; } |
42 tr.dark:hover, .parity1:hover { background-color:#edece6; } |
43 td { padding:2px 5px; font-size:12px; vertical-align:top; } |
43 td { padding:2px 5px; font-size:12px; vertical-align:top; } |
44 td.link { padding:2px 5px; font-family:sans-serif; font-size:10px; } |
44 td.link { padding:2px 5px; font-family:sans-serif; font-size:10px; } |
45 div.pre { font-family:monospace; font-size:12px; white-space:pre; } |
45 div.pre { font-family:monospace; font-size:12px; white-space:pre; } |
46 div.diff_info { font-family:monospace; color:#000099; background-color:#edece6; font-style:italic; } |
46 div.diff_info { font-family:monospace; color:#000099; background-color:#edece6; font-style:italic; } |
47 div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; } |
47 div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; } |
48 div.search { margin:4px 8px; position:absolute; top:56px; right:12px } |
48 div.search { margin:4px 8px; position:absolute; top:56px; right:12px } |
49 a.linenr { color:#999999; text-decoration:none } |
49 .linenr { color:#999999; text-decoration:none } |
50 a.rss_logo { |
50 a.rss_logo { |
51 float:right; padding:3px 0px; width:35px; line-height:10px; |
51 float:right; padding:3px 0px; width:35px; line-height:10px; |
52 border:1px solid; border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e; |
52 border:1px solid; border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e; |
53 color:#ffffff; background-color:#ff6600; |
53 color:#ffffff; background-color:#ff6600; |
54 font-weight:bold; font-family:sans-serif; font-size:10px; |
54 font-weight:bold; font-family:sans-serif; font-size:10px; |