web: Adjust sizes of monospace fonts.

[paraslash.git] / web / para.css

diff --git a/web/para.css b/web/para.css
index 27e7519753b038b5d2e1bc1474e8b81a7237c024..131493052e4486254b6296b4ba56737bd799f8b4 100644 (file)
--- a/web/para.css
+++ b/web/para.css
@@ -308,7 +308,7 @@ img.logo {
 
 div.page_header {
        padding: 8px;
-       font-size: 150%;
+       font-size: 120%;
        font-weight: bold;
        background-color: #151515;
 }
@@ -351,16 +351,7 @@ div.page_footer_text {
 div.page_body {
        padding: 8px;
        font-family: monospace;
-       font-size: 150%;
-}
-
-div.title {
-       display: block;
-       padding: 6px 8px;
-       font-weight: bold;
-       background-color: #555555;
-       text-decoration: none;
-       color: white;
+       font-size: 120%;
 }
 
 a.title:hover {
@@ -376,6 +367,13 @@ div.title_text {
 
 div.log_body {
        padding: 8px 8px 8px 150px;
+       font-family: monospace;
+       font-size: 120%;
+}
+
+div.log {
+       font-family: monospace;
+       font-size: 120%;
 }
 
 span.age {