From ef82b7f58ca7a6416d8e5e4983c3dd3118b231a7 Mon Sep 17 00:00:00 2001
From: Jaco Greeff <jacogr@gmail.com>
Date: Tue, 12 Feb 2019 11:13:25 +0100
Subject: [PATCH] Adjust Editor/Output sizing (#697)

---
 packages/app-js/src/index.css | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

diff --git a/packages/app-js/src/index.css b/packages/app-js/src/index.css
index 7b3bf7e6b9..fff1e07bda 100644
--- a/packages/app-js/src/index.css
+++ b/packages/app-js/src/index.css
@@ -6,21 +6,23 @@
   display: flex;
   flex-direction: column;
   height: 100vh;
-  padding: 1rem 1.5rem;
+  padding: 1rem 0 0;
 }
 
 .js--Content {
   align-items: stretch;
   display: flex;
   flex-grow: 2;
-  justify-content: space-between;
   height: 100%;
+  justify-content: space-between;
+  margin-bottom: 0;
 }
 
 .js--Dropdown {
   margin-right: 100px;
   position: relative;
   z-index: 200;
+
   .dropdown .menu > .item {
     display: flex;
     flex-direction: row-reverse;
@@ -46,13 +48,14 @@
   display: flex;
   flex-direction: column;
   font-family: monospace;
-  font-size: 13px;
+  font-size: 12px;
   font-variant-ligatures: common-ligatures;
+  line-height: 18px;
   overflow: auto;
   padding: 10px;
   position: relative;
   resize: horizontal;
-  width: 50%;
+  width: 40%;
 
   &::after {
     font-size: 24px;
@@ -101,12 +104,17 @@
   textarea {
     outline: 0;
   }
+
   .codeflask--has-line-numbers .codeflask__flatten {
+    font-size: 12px;
+    line-height: 18px;
     min-width: calc(100% - 40px);
     width: auto;
   }
+
   .codeflask__lines {
-    background: #eee;
+    background: #fafafa;
+    line-height: 18px;
     z-index: 100;
   }
 }