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
;
76 background-color: #edece6;
77 text-decoration: none
;
81 a
.title:hover
, a
.title_cdiff:hover
{
82 background-color: #d9d8d1;
85 div
.title_text
{ padding:6px 0px; border: solid
#d9d8d1; border-width:0px 0px 1px; }
87 div
.log_body
{ padding:8px 8px 8px 150px; }
89 span
.age
{ position:relative
; float:left
; width:142px; font-style:italic
; }
95 font-size:10px; font-family:sans-serif
; font-style:normal
;
96 position:relative
; float:left
; width:136px;
100 padding: 6px 8px 4px;
101 border: solid
#d9d8d1;
102 border-width: 1px 0px 0px;
107 text-decoration: none
;
112 text-decoration: underline
;
117 text-decoration: none
;
122 text-decoration: none
;
127 text-decoration: underline
;
142 background-color: #edece6;
146 background-color: #f6f6f0;
150 background-color: #edece6;
162 font-family: sans-serif
;
167 font-family: monospace
;
174 font-family: monospace
;
176 background-color: #edece6;
181 border: solid
#d9d8d1;
182 border-width: 0px 0px 1px;
195 text-decoration: none
204 border-color: #fcc7a5 #7d3302 #3e1a01 #ff954e;
206 background-color: #ff6600;
208 font-family: sans-serif
;
211 text-decoration: none
;
215 background-color: #ee5500;
222 background-color: #ffffaa;
224 border-color: #ffffcc #ffee00 #ffee00 #ffffcc;