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 {