From e8547604a1b69712eaf13b522729cdbcfd43444d Mon Sep 17 00:00:00 2001
From: Zef Hemel <zef@zef.me>
Date: Sat, 9 Apr 2022 22:43:46 +0200
Subject: [PATCH] Style tweaks, update to keyboard shortcuts.

---
 webapp/editor.tsx         | 4 ++--
 webapp/styles/editor.scss | 1 +
 webapp/styles/main.scss   | 9 +++++----
 3 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/webapp/editor.tsx b/webapp/editor.tsx
index b6f11d0..a745da4 100644
--- a/webapp/editor.tsx
+++ b/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",
diff --git a/webapp/styles/editor.scss b/webapp/styles/editor.scss
index 95ef732..e880b94 100644
--- a/webapp/styles/editor.scss
+++ b/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);
diff --git a/webapp/styles/main.scss b/webapp/styles/main.scss
index 984b22f..7822cc2 100644
--- a/webapp/styles/main.scss
+++ b/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;
   }
 }