move discussion to discussion page

[libreriscv.git] / local.css

diff --git a/local.css b/local.css
index d8bd72a8c18928e7b922ef6b2c367595f724249a..bf7b5dd30291f8324eb05f1e1ec760d95fe3b865 100644 (file)
--- a/local.css
+++ b/local.css
@@ -42,15 +42,16 @@ ol{
 }
 /* Headings */
 
-.pageheader { min-height: 100px; overflow: none; padding: 2px; }
+.pageheader { min-height: 100px; overflow: none; width: 95%; margin: 4px; }
 .header {
     height: 50px;
     background: #4b6983;
-    border: 2px solid #7590ae; 
+    /*border: 2px solid #7590ae; */
     color: #ffffff; 
     font-family: sans-serif;
     width: 100%;
-    padding: 2px;
+    margin: 4px;
+    padding: -4px;
 }
 .header a { margin-right: 1ex; color: #ffffff; font-family: sans-serif;}