style: make machine save option more visible

Author: Azgaar

public/versioning.js

@@ -13,7 +13,7 @@
  * Example: 1.102.2 -> Major version 1, Minor version 102, Patch version 2
  */
 
-const VERSION = "1.113.3";
+const VERSION = "1.113.4";
 if (parseMapVersion(VERSION) !== VERSION) alert("versioning.js: Invalid format or parsing function");
 
 {

src/index.html

@@ -6221,7 +6221,12 @@
       <div id="saveMapData" style="display: none" class="dialog">
         <div style="margin-top: 0.3em">
           <strong>Save map to</strong>
-          <button onclick="saveMap('machine')" data-tip="Download map file to your local disk" data-shortcut="Ctrl + S">
+          <button
+            onclick="saveMap('machine')"
+            data-tip="Download map file to your local disk"
+            data-shortcut="Ctrl + S"
+            style="font-weight: 600"
+          >
             machine
           </button>
           <button onclick="saveMap('dropbox')" data-tip="Save map file to your Dropbox" data-shortcut="Ctrl + C">