Report BIOS loading correctly

src/browser/main.js

@@ -777,6 +777,12 @@
             log: log,
         };
 
+        if(!settings.bios || !settings.vga_bios)
+        {
+            log("The BIOS has not been loaded - reload the page to try again.");
+            return;
+        }
+
         if(typeof performance === "object" && performance.now)
         {
             var offset = Date.now() - performance.now();

v86.css

@@ -12,8 +12,8 @@
     color: #fff;
 }
 #log {
-    max-height: 350px;
-    width: 350px;
+    height: 100px;
+    width: 550px;
 }
 #serial {
     margin: 0px;