From 328dcab16d16b63c0b4f558f5e2518cdf9ddae97 Mon Sep 17 00:00:00 2001
From: Silvan Calarco <silvan.calarco@mambasoft.it>
Date: Sun, 22 Mar 2015 14:06:50 +0100
Subject: [PATCH] Webbuild css fixes for Firefox

---
 styles/webbuild-post.css | 18 ++++++++++++++++--
 styles/webbuild.css      |  6 ++++--
 2 files changed, 20 insertions(+), 4 deletions(-)

diff --git a/styles/webbuild-post.css b/styles/webbuild-post.css
index 3450fb5..95d326e 100644
--- a/styles/webbuild-post.css
+++ b/styles/webbuild-post.css
@@ -1,5 +1,18 @@
 webbuild.a { }
-pre { background: none; border:0; padding:0; margin:0; -webkit-box-shadow:none; }
+pre {
+   background: none;
+   border:0;
+   padding:0;
+   margin:0;
+   -webkit-box-shadow:none;
+   box-shadow:none;
+   font-family: monospace;
+}
+
+code {
+   font-family: monospace;
+}
+
 form { margin:0; }
 a.webbuild:link { color:#0b0600; text-decoration: none; }
 a.webbuild:visited { color:#0b0600; text-decoration: none; }
@@ -36,13 +49,14 @@ input[type="button"] {
    font-family:liberationsans,freesans,Arial,Verdana,Helvetica,sans-serif;
    font-size: 8pt;
    font-weight: 400;
-   padding: 1px;
    margin: 1px;
    border: 1px solid #AAAAAA;
    white-space:nowrap;
    line-height: 1.1em;
 }
 
+input[type="button"]::-moz-focus-inner { padding: 0; border: 0; }
+
 input[type="button"]:hover {
    border: 1px solid #666666;
 }
diff --git a/styles/webbuild.css b/styles/webbuild.css
index 0f7859f..e4e359e 100644
--- a/styles/webbuild.css
+++ b/styles/webbuild.css
@@ -152,7 +152,7 @@
    border:1px solid #cccccc;
    padding:0px;
    margin:0px;
-   font-family:'Courier New', Courier, 'Nimbus Mono L', monospace;
+   font-family:monospace;
    font-size:8pt;
 }
 
@@ -165,6 +165,7 @@
    padding:0;
    margin:0;
    background-color:white;
+   float:left;
 }
 
 
@@ -194,8 +195,9 @@
    overflow:auto;
    overflow-x:hidden;
    word-wrap: break-word;
-   font-family:'Courier New', Courier, 'Nimbus Mono L', monospace;
+   font-family:monospace;
    font-size:8pt;
+   font-weight:400;
    border:1px solid #2b6600;
    padding:2px;
    margin:0;