2 font-family: sans-serif;
7 background-color: #ffffff;
15 a:hover, a:visited, a:active {
24 background-color: #d9d8d1;
27 div.page_header a:visited, a.header {
31 div.page_header a:hover {
39 div.page_nav a:visited {
45 border: solid #d9d8d1;
46 border-width: 0px 0px 1px;
52 background-color: #d9d8d1;
55 div.page_footer_text {
63 font-family: monospace;
70 background-color: #edece6;
71 text-decoration: none;
76 background-color: #d9d8d1;
81 border: solid #d9d8d1;
82 border-width: 0px 0px 1px;
83 font-family: monospace;
87 padding: 8px 8px 8px 150px;
97 div.page_body span.signoff {
104 font-family: sans-serif;
112 padding: 6px 8px 4px;
113 border: solid #d9d8d1;
114 border-width: 1px 0px 0px;
119 text-decoration: none;
124 text-decoration: underline;
129 text-decoration: none;
134 text-decoration: none;
139 text-decoration: underline;
153 font-family: monospace;
157 border-collapse: collapse;
167 background-color: #edece6;
171 background-color: #f6f6f0;
175 background-color: #f6f6f0;
179 background-color: #edece6;
188 td.link, td.selflink {
190 font-family: sans-serif;
199 font-family: monospace;
204 background-color: yellow;
208 text-decoration: underline;
211 table.diff_tree span.file_status.new {
215 table.diff_tree span.file_status.deleted {
219 table.diff_tree span.file_status.moved,
220 table.diff_tree span.file_status.mode_chnge {
224 /* age2: 60*60*24*2 <= age */
225 table.project_list td.age2, table.blame td.age2 {
229 /* age1: 60*60*2 <= age < 60*60*24*2 */
230 table.project_list td.age1 {
235 table.blame td.age1 {
237 background: transparent;
240 /* age0: age < 60*60*2 */
241 table.project_list td.age0 {
247 table.blame td.age0 {
249 background: transparent;
253 td.pre, div.pre, div.diff {
254 font-family: monospace;
260 font-family: monospace;
271 div.diff.chunk_header {
276 font-family: monospace;
278 background-color: #edece6;
283 border: solid #d9d8d1;
284 border-width: 0px 0px 1px;
301 text-decoration: none
310 border-color: #fcc7a5 #7d3302 #3e1a01 #ff954e;
312 background-color: #ff6600;
314 font-family: sans-serif;
317 text-decoration: none;
321 background-color: #ee5500;
328 background-color: #ffffaa;
330 border-color: #ffffcc #ffee00 #ffee00 #ffffcc;