whitespace cleanup

[libreriscv.git] / local.css

diff --git a/local.css b/local.css
index 5d0b7f7d95e1d0044cde76d736d58c0a0e88f5be..d20a33119605e2433227e3295447a9eb2875258e 100644 (file)
--- a/local.css
+++ b/local.css
@@ -2,6 +2,8 @@ body{
        font-family:arial,sans-serif; 
        margin-top: 20px;
        margin-bottom: 40px;
+    margin-left: 0px;
+    margin-right 0px;
     background-color: #fff8ff;
     color: #00000;
     width: 100%;
@@ -40,15 +42,16 @@ ol{
 }
 /* Headings */
 
-.pageheader { min-height: 100px; overflow: auto; }
+.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;
-    margin-left: 10px;
-    margin-right: 10px;
+    width: 100%;
+    margin: 4px;
+    padding: -4px;
 }
 .header a { margin-right: 1ex; color: #ffffff; font-family: sans-serif;}
 
@@ -110,8 +113,8 @@ form{
        padding-bottom: 2em;
 }
 textarea{
-       font-family: "Inconsolata", "monaco", "droid sans mono",fixed;
-       font-size: .9em;
+       /*font-family: "Inconsolata", "monaco", "droid sans mono",fixed;*/
+       /*font-size: .9em;*/
         border: solid 1px;
        width: 100%;
        margin-bottom: 10px;