diff options
Diffstat (limited to 'index.css')
| -rw-r--r-- | index.css | 18 |
1 files changed, 11 insertions, 7 deletions
@@ -20,25 +20,29 @@ h2 { font-weight: bold; margin-bottom: 0px; font-family: Verdana, Tahoma, Arial, sans-serif; } -span.rev { font-weight: bold; } - span.nm { color: #000000; font-weight: bold; } span.attn { color: #000000; font-weight: bold; } span.flag { font-weight: bold; } -div.head { border-bottom: 1px dotted #cccccc; +div.head { border-bottom: 1px solid #dddddd; padding-bottom: 5px; text-align: right; } -div.foot { border-top: 1px dotted #cccccc; +div.subhead { font-size: smaller; + margin-bottom: 1em; } + +div.foot { border-top: 1px solid #dddddd; padding-top: 5px; font-size: smaller; text-align: right; } -a.external { background: transparent url(external.png) center right no-repeat; padding-right: 12px; } +a.external { background: transparent url(external.png) center right no-repeat; + padding-right: 12px; } + +span.date { color: #000000; } -span.date { color: #808080; } +div.news { margin-bottom: 2em; } -col.date { width: 8em; } +div.news ul { margin-left: 4em; } |