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
{
69 background-color: #edece6;
70 text-decoration: none
;
75 background-color: #d9d8d1;
80 border: solid
#d9d8d1;
81 border-width: 0px 0px 1px;
85 padding: 8px 8px 8px 150px;
95 div
.page_body span
.signoff
{
102 font-family: sans-serif
;
110 padding: 6px 8px 4px;
111 border: solid
#d9d8d1;
112 border-width: 1px 0px 0px;
117 text-decoration: none
;
122 text-decoration: underline
;
127 text-decoration: none
;
132 text-decoration: none
;
137 text-decoration: underline
;
145 table
.project_list
, table
.diff_tree
{
150 border-collapse: collapse
;
160 background-color: #edece6;
164 background-color: #f6f6f0;
168 background-color: #edece6;
179 font-family: sans-serif
;
184 font-family: monospace
;
189 background-color: yellow
;
192 table
.diff_tree span
.file_status
.new
{
196 table
.diff_tree span
.file_status
.deleted
{
200 table
.diff_tree span
.file_status
.moved
,
201 table
.diff_tree span
.file_status
.mode_chnge
{
205 /* age2: 60*60*24*2 <= age */
206 table
.project_list td
.age2
, table
.blame td
.age2
{
210 /* age1: 60*60*2 <= age < 60*60*24*2 */
211 table
.project_list td
.age1
{
216 table
.blame td
.age1
{
218 background: transparent
;
221 /* age0: age < 60*60*2 */
222 table
.project_list td
.age0
{
228 table
.blame td
.age0
{
230 background: transparent
;
234 td
.pre
, div
.pre
, div
.diff
{
235 font-family: monospace
;
241 font-family: monospace
;
252 div
.diff
.chunk_header
{
257 font-family: monospace
;
259 background-color: #edece6;
264 border: solid
#d9d8d1;
265 border-width: 0px 0px 1px;
282 text-decoration: none
291 border-color: #fcc7a5 #7d3302 #3e1a01 #ff954e;
293 background-color: #ff6600;
295 font-family: sans-serif
;
298 text-decoration: none
;
302 background-color: #ee5500;
309 background-color: #ffffaa;
311 border-color: #ffffcc #ffee00 #ffee00 #ffffcc;