From 37ba508287dacb5d2c28216d54343046e2a60a47 Mon Sep 17 00:00:00 2001
From: Richard Harris <richard.a.harris@gmail.com>
Date: Sat, 9 Mar 2019 10:21:16 -0500
Subject: [PATCH] tweak REPL viewer CSS

---
 site/static/repl-viewer.css | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/site/static/repl-viewer.css b/site/static/repl-viewer.css
index 4c185d5034..9d682a3961 100644
--- a/site/static/repl-viewer.css
+++ b/site/static/repl-viewer.css
@@ -58,10 +58,4 @@ button:active {
 
 button:focus {
 	border-color: #666;
-}
-
-code {
-	background-color: #eee;
-	padding: 0.2em 0.4em;
-	border-radius: 2px;
 }
\ No newline at end of file