add FP16 anticipated opcodes

[libreriscv.git] / local.css

diff --git a/local.css b/local.css
index fffd37412d5367586fef3e3f068de91e57b0bbae..d20a33119605e2433227e3295447a9eb2875258e 100644 (file)
--- a/local.css
+++ b/local.css
@@ -42,15 +42,16 @@ ol{
 }
 /* Headings */
 
-.pageheader { min-height: 100px; overflow: auto; width: 95%; margin: 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;}
 
@@ -112,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;