UI: Fixed button positions in all browsers (#282)

Author: microbit-henry

python-main.js

@@ -1683,6 +1683,10 @@ function web_editor(config) {
     // Join up the buttons in the user interface with some functions for
     // handling what to do when they're clicked.
     function setupButtons() {
+        if(navigator.platform.match('Win') !== null){
+            $(".roundsymbol").addClass("winroundsymbol");
+            $("#small-icons .status-icon").addClass("win-status-icon");
+        }
         $("#command-download").click(function () {
             doDownload();
         });

static/css/style.css

@@ -156,10 +156,15 @@ h2 {
   color: #336699;
   background: #FFFFFF;
 }
+
 html[data-useragent*='MSIE 10.0'] #small-icons .status-icon  {
   line-height: 2.15rem;
 }
 
+#small-icons .win-status-icon{
+  line-height: 2.2rem;
+}
+
 #small-icons .holder {
   width: 56px;
   min-width: 56px;
@@ -291,16 +296,7 @@ html[data-useragent*='MSIE 10.0'] #small-icons .status-icon  {
   background: #FFFFFF;
 }
 
-@-moz-document url-prefix() { 
-  .roundsymbol {
-    line-height: 3.7rem;
-  }
-  #small-icons .status-icon {
-    line-height: 2.15rem;
-  }
-}
-
-html[data-useragent*='MSIE 10.0'] .roundsymbol {
+.winroundsymbol {
   line-height: 3.7rem;
 }