4 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
4 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
5 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US" lang="en-US"> |
5 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US" lang="en-US"> |
6 <head> |
6 <head> |
7 <meta http-equiv="content-type" content="text/html; charset=utf-8"/> |
7 <meta http-equiv="content-type" content="text/html; charset=utf-8"/> |
8 <meta name="robots" content="index, nofollow"/> |
8 <meta name="robots" content="index, nofollow"/> |
9 <style type="text/css"> |
9 <style type="text/css">/*<![CDATA[*/ @import "?static=style-gitweb.css"; /*]]>*/</style> |
10 body { font-family: sans-serif; font-size: 12px; margin:0px; border:solid #d9d8d1; border-width:1px; margin:10px; } |
|
11 a { color:#0000cc; } |
|
12 a:hover, a:visited, a:active { color:#880000; } |
|
13 div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold; background-color:#d9d8d1; } |
|
14 div.page_header a:visited { color:#0000cc; } |
|
15 div.page_header a:hover { color:#880000; } |
|
16 div.page_nav { padding:8px; } |
|
17 div.page_nav a:visited { color:#0000cc; } |
|
18 div.page_path { padding:8px; border:solid #d9d8d1; border-width:0px 0px 1px} |
|
19 div.page_footer { height:17px; padding:4px 8px; background-color: #d9d8d1; } |
|
20 div.page_footer_text { float:left; color:#555555; font-style:italic; } |
|
21 div.page_body { padding:8px; } |
|
22 div.title, a.title { |
|
23 display:block; padding:6px 8px; |
|
24 font-weight:bold; background-color:#edece6; text-decoration:none; color:#000000; |
|
25 } |
|
26 a.title:hover { background-color: #d9d8d1; } |
|
27 div.title_text { padding:6px 0px; border: solid #d9d8d1; border-width:0px 0px 1px; } |
|
28 div.log_body { padding:8px 8px 8px 150px; } |
|
29 span.age { position:relative; float:left; width:142px; font-style:italic; } |
|
30 div.log_link { |
|
31 padding:0px 8px; |
|
32 font-size:10px; font-family:sans-serif; font-style:normal; |
|
33 position:relative; float:left; width:136px; |
|
34 } |
|
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; } |
|
37 a.list:hover { text-decoration:underline; color:#880000; } |
|
38 table { padding:8px 4px; } |
|
39 th { padding:2px 5px; font-size:12px; text-align:left; } |
|
40 tr.light:hover, .parity0:hover { background-color:#edece6; } |
|
41 tr.dark, .parity1 { background-color:#f6f6f0; } |
|
42 tr.dark:hover, .parity1:hover { background-color:#edece6; } |
|
43 td { padding:2px 5px; font-size:12px; vertical-align:top; } |
|
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; } |
|
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; } |
|
48 div.search { margin:4px 8px; position:absolute; top:56px; right:12px } |
|
49 .linenr { color:#999999; text-decoration:none } |
|
50 a.rss_logo { |
|
51 float:right; padding:3px 0px; width:35px; line-height:10px; |
|
52 border:1px solid; border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e; |
|
53 color:#ffffff; background-color:#ff6600; |
|
54 font-weight:bold; font-family:sans-serif; font-size:10px; |
|
55 text-align:center; text-decoration:none; |
|
56 } |
|
57 a.rss_logo:hover { background-color:#ee5500; } |
|
58 </style> |
|
59 |
10 |