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: #edece6;
184 td.link, td.selflink {
186 font-family: sans-serif;
195 font-family: monospace;
200 background-color: yellow;
204 text-decoration: underline;
207 table.diff_tree span.file_status.new {
211 table.diff_tree span.file_status.deleted {
215 table.diff_tree span.file_status.moved,
216 table.diff_tree span.file_status.mode_chnge {
220 /* age2: 60*60*24*2 <= age */
221 table.project_list td.age2, table.blame td.age2 {
225 /* age1: 60*60*2 <= age < 60*60*24*2 */
226 table.project_list td.age1 {
231 table.blame td.age1 {
233 background: transparent;
236 /* age0: age < 60*60*2 */
237 table.project_list td.age0 {
243 table.blame td.age0 {
245 background: transparent;
249 td.pre, div.pre, div.diff {
250 font-family: monospace;
256 font-family: monospace;
267 div.diff.chunk_header {
272 font-family: monospace;
274 background-color: #edece6;
279 border: solid #d9d8d1;
280 border-width: 0px 0px 1px;
297 text-decoration: none
306 border-color: #fcc7a5 #7d3302 #3e1a01 #ff954e;
308 background-color: #ff6600;
310 font-family: sans-serif;
313 text-decoration: none;
317 background-color: #ee5500;
324 background-color: #ffffaa;
326 border-color: #ffffcc #ffee00 #ffee00 #ffffcc;