From 000d4488caaa93cf611219a57781b974e0ed5a72 Mon Sep 17 00:00:00 2001
From: Rich Harris <richard.a.harris@gmail.com>
Date: Mon, 17 Dec 2018 21:54:44 -0500
Subject: [PATCH] more REPL stuff

---
 site/src/routes/repl/index.html | 10 ++++++----
 site/static/global.css          | 30 ++++++------------------------
 2 files changed, 12 insertions(+), 28 deletions(-)

diff --git a/site/src/routes/repl/index.html b/site/src/routes/repl/index.html
index 690e2b2fb5..8bc112ac93 100644
--- a/site/src/routes/repl/index.html
+++ b/site/src/routes/repl/index.html
@@ -137,7 +137,9 @@
 
 <style>
 	.repl-outer {
+		position: relative;
 		min-height: calc(100vh - var(--nav-h));
+		--pane-controls-h: 4.2rem;
 	}
 
 	.pane       { width: 100%; height: 100% }
@@ -150,12 +152,12 @@
 
 	@media (min-width: 768px) {
 		.repl-outer {
-			display: grid;
-			grid-template-rows: 5.6rem 1fr;
-			min-height: auto;
-			min-height: calc(100vh - var(--nav-h));
+			height: calc(100vh - var(--nav-h));
 			background-color: var(--back);
 			overflow: hidden;
+			--app-controls-h: 5.6rem;
+			padding: var(--app-controls-h) 0 0 0;
+			box-sizing: border-box;
 		}
 
 		.repl-outer.zen-mode {
diff --git a/site/static/global.css b/site/static/global.css
index ad94cd7894..a1280cfb35 100644
--- a/site/static/global.css
+++ b/site/static/global.css
@@ -210,29 +210,11 @@ blockquote {
 
 /*  buttons -------------------------------- */
 button {
-  --bttn-h: 4rem;
-  --bttn-outline: var(--border-w);
-  --bttn-font: var(--font-ui);
-  --bttn-calc-h: calc(var(--bttn-h) - var(--bttn-outline) * 2);
-  /* --bttn-hover: linear-gradient(
-    to top, rgba(0,0,0,.05), rgba(0,0,0,.05)
-  ); */
-  --bttn-active: linear-gradient(
-    to top, rgba(255,255,255,.1), rgba(255,255,255,.1)
-  );
-
-  position: relative;
-  margin: 0 .8rem .8rem 0;
-  vertical-align: middle;
-  white-space: nowrap;
-  display: inline-block;
-  zoom: 1;
-  border: none transparent;
-	font: 1.3rem var(--bttn-font);
-	border-radius: var(--border-r);
+  font-family: inherit;
+  font-size: inherit;
+  background-color: transparent;
+  border: none;
   color: currentColor;
-  letter-spacing: .05em;
-  cursor: pointer;
 }
 
 button:focus { outline: 0 }
@@ -257,11 +239,11 @@ button {
   transition: all .1s;
 }
 
-button:hover  { background-image: var(--bttn-hover) }
+/* button:hover  { background-image: var(--bttn-hover) }
 button:active {
 	mix-blend-mode: overlay;
 	background-image: var(--bttn-active)
-}
+} */
 
 /*  options */
 button[outline] {