diff --git a/public/versioning.js b/public/versioning.js
index 8e45dc9d..528f7cf2 100644
--- a/public/versioning.js
+++ b/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");
 
 {
diff --git a/src/index.html b/src/index.html
index 52d2c51e..1398773a 100644
--- a/src/index.html
+++ b/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">