equal
deleted
inserted
replaced
59 font-weight: bold; text-align: center; text-decoration: none; |
59 font-weight: bold; text-align: center; text-decoration: none; |
60 font-size: 10px; |
60 font-size: 10px; |
61 } |
61 } |
62 td.indexlinks a:hover { background-color: #6666aa; } |
62 td.indexlinks a:hover { background-color: #6666aa; } |
63 div.pre { font-family:monospace; font-size:12px; white-space:pre; } |
63 div.pre { font-family:monospace; font-size:12px; white-space:pre; } |
64 div.diff_info { font-family:monospace; color:#000099; background-color:#edece6; font-style:italic; } |
|
65 div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; } |
|
66 |
64 |
67 .search { |
65 .search { |
68 margin-right: 8px; |
66 margin-right: 8px; |
69 } |
67 } |
70 |
68 |