(no commit message)

[libreriscv.git] / local.css

diff --git a/local.css b/local.css
index 27930fac817e4487b8b4d2326a288b06e7e25d3c..d20a33119605e2433227e3295447a9eb2875258e 100644 (file)
--- a/local.css
+++ b/local.css
@@ -113,8 +113,8 @@ form{
        padding-bottom: 2em;
 }
 textarea{
-       font-family: "Inconsolata", "monaco", "droid sans mono",fixed;
-       font-size: 80%;
+       /*font-family: "Inconsolata", "monaco", "droid sans mono",fixed;*/
+       /*font-size: .9em;*/
         border: solid 1px;
        width: 100%;
        margin-bottom: 10px;