diff options
| author | matthew <matthew> | 2008-11-10 13:10:56 +0000 |
|---|---|---|
| committer | matthew <matthew> | 2008-11-10 13:10:56 +0000 |
| commit | 87c023814f624a389c39993d0c1ca0b48eaf8e23 (patch) | |
| tree | 69050eca9ef55ffef119a771d3c2af789c62db17 /web/css | |
| parent | 9f1131f6c34502da14e900a905d518a488a23d04 (diff) | |
Text tweak.
Diffstat (limited to 'web/css')
| -rw-r--r-- | web/css/core.css | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/web/css/core.css b/web/css/core.css index 5eabc3d14..fca803985 100644 --- a/web/css/core.css +++ b/web/css/core.css @@ -236,10 +236,13 @@ p#copyright { #text_map { margin-top: 0.5em; - margin-bottom: 0.5em; + margin-bottom: 1em; + font-size: 110%; } #text_no_map { margin-top: 0; + /* background-color: #ffeecc; + padding: 4px; */ } /* Problem pages */ @@ -280,6 +283,7 @@ p#copyright { border: solid 1px #ff9900; border-width: 1px 0; padding: 3px 10px; + /* padding: 0 3px; */ margin: 0; } #rss_alert { |