diff options
Diffstat (limited to 'web/css/core.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 { |