6
font-family: georgia, verdana, arial, sans-serif;
14
a { text-decoration: none; }
15
a:visited { color: #a0a }
17
label { font-weight: bold; }
27
border-bottom: 1px solid;
31
#top-bar * { font-size: 16px; }
49
#content { clear: both; }
51
#search-form { display: inline; text-align: right; }
52
#search-form-contents { display: inline }
82
.current-page { color: #bbb }
87
.dir-panel-entry-subsection { margin-left: 1em; }
89
.doc_name { font-weight: bold; }