Style tweaks, update to keyboard shortcuts.

webapp/editor.tsx

@@ -332,8 +332,8 @@ export class Editor implements AppEventDispatcher {
             },
           },
           {
-            key: "Ctrl-.",
-            mac: "Cmd-.",
+            key: "Ctrl-/",
+            mac: "Cmd-/",
             run: (): boolean => {
               this.viewDispatch({
                 type: "show-palette",

webapp/styles/editor.scss

@@ -7,6 +7,7 @@
 .cm-editor {
   font-size: var(--ident);
   //overflow-y: hidden;
+  padding: 0 20px;
 
   .cm-content {
     font-family: var(--editor-font);

webapp/styles/main.scss

@@ -43,8 +43,9 @@ body {
     .inner {
       max-width: $max-editor-width;
       margin: auto;
-      padding-top: 12px;
       font-size: 28px;
+      padding: 10px 20px;
+
 
       .status {
         float: right;
@@ -118,12 +119,12 @@ body {
 //}
 
 #bottom {
-  height: 25px;
+  height: 40px;
+  line-height: 40px;
+  padding: 0 10px;
   text-align: right;
   background-color: rgb(213, 213, 213);
   border-top: rgb(193, 193, 193) 1px solid;
-
   .inner {
-    padding: 5px;
   }
 }