add reload button to disconnected-page

webdata/fn.js

@@ -378,6 +378,10 @@ window.addEventListener("load", function() {
             window.history.back();
         }
     };
+    document.getElementById("reloadbutton").addEventListener("click",
+                                                             function(e) {
+        location.reload();
+    });
     pad.addEventListener("touchstart", handleStart, false);
     pad.addEventListener("touchend", handleEnd, false);
     pad.addEventListener("touchcancel", handleCancel, false);

webdata/index.html

@@ -16,6 +16,7 @@
         </div>
         <div id="closed">
             <p>Disconnected</p>
+            <button id="reloadbutton">↻</button>
         </div>
         <div id="pad">
             <p id="padlabel">Touchpad</p>

webdata/main.css

@@ -20,6 +20,7 @@ body {
     font-size: 2em;
     color: white;
     word-wrap: break-word;
+    flex-direction: column;
 }
 
 #pad {
@@ -42,16 +43,19 @@ body {
     word-wrap: break-word;
 }
 
-#fullscreenbutton, #keyboardbutton, #sendbutton {
+#fullscreenbutton, #keyboardbutton, #sendbutton, #reloadbutton {
     background-color: transparent;
     border: 1px solid black;
-    border-bottom: none;
     height: 1.5em;
     width: 2em;
     font-size: 2em;
     color: white;
 }
 
+#fullscreenbutton, #keyboardbutton, #sendbutton {
+    border-bottom: none;
+}
+
 #fullscreenbutton {
     border-left: none;
 }