From dda147a5399ebbf0a4555ff4bebdfb9c43b8dd79 Mon Sep 17 00:00:00 2001
From: raphael <raphael.fritsch@reutlingen-university.de>
Date: Tue, 21 May 2019 11:58:02 +0200
Subject: [PATCH] fix firefox css

---
 public/css/main.css | 36 +++++++++++++++++++++++++-----------
 public/index.html   |  4 ++--
 2 files changed, 27 insertions(+), 13 deletions(-)

diff --git a/public/css/main.css b/public/css/main.css
index 9a7f56b..0ee4e90 100644
--- a/public/css/main.css
+++ b/public/css/main.css
@@ -1,18 +1,30 @@
 .btn-group button {
     background: transparent;
-    border: 1px solid #636060; /* Green border */
-    color: black; /* White text */
-    padding: 11px 14px; /* Some padding */
-    cursor: pointer; /* Pointer/hand icon */
-    float: left; /* Float the buttons side by side */
-     font-size: 1.2em;
+    border: 1px solid #636060;
+    /* Green border */
+    color: black;
+    /* White text */
+    padding: 11px 14px;
+    /* Some padding */
+    cursor: pointer;
+    /* Pointer/hand icon */
+    float: left;
+    /* Float the buttons side by side */
+    font-size: 1.2em;
+    height: 45px;
+}
+
+button::-moz-focus-inner {
+    border: 0;
 }
 
 .btn-group button:not(:last-child) {
-    border-right: none; /* Prevent double borders */
+    border-right: none;
+    /* Prevent double borders */
 }
 
 /* Clear floats (clearfix hack) */
+
 .btn-group:after {
     content: "";
     clear: both;
@@ -20,6 +32,7 @@
 }
 
 /* Add a background color on hover */
+
 .btn-group button:hover {
     background-color: #9a9a9a;
 }
@@ -54,10 +67,11 @@ button {
 .textBox.active {
     border: 1px dashed gray;
 }
-.textBox>.removeIcon,.textBox>.moveIcon {
-    display:none;
+
+.textBox>.removeIcon, .textBox>.moveIcon {
+    display: none;
 }
 
-.textBox.active>.removeIcon,.textBox.active>.moveIcon {
-    display:block;
+.textBox.active>.removeIcon, .textBox.active>.moveIcon {
+    display: block;
 }
\ No newline at end of file
diff --git a/public/index.html b/public/index.html
index a95bd2f..69db05b 100644
--- a/public/index.html
+++ b/public/index.html
@@ -51,7 +51,7 @@
 			<button tool="pen" title="Take the pen" type="button" class="whiteboardTool active">
 				<i class="fa fa-pencil-alt"></i>
 			</button>
-			<button style="padding-bottom: 8px; padding-top: 7px;" tool="line" title="draw a line" type="button"
+			<button style="padding-bottom: 8px; padding-top: 6px;" tool="line" title="draw a line" type="button"
 				class="whiteboardTool">
 				╱
 			</button>
@@ -69,7 +69,7 @@
 			</button>
 		</div>
 
-		<div style="position:relative; width: 190px;  height: 44px; border: 1px solid green;" class="btn-group">
+		<div style="position:relative; width: 190px;  height: 43px; border: 1px solid green;" class="btn-group">
 			<div class="activeToolIcon" style="position:absolute; top:2px; left:2px; font-size: 0.6em;"><i
 					class="fa fa-pencil-alt"></i></div>
 			<img style="position: absolute; left: 11px; top: 16px; height:14px; width:130px;"