From 4df584bc203cc00ce06e920c8b94484019f99c8f Mon Sep 17 00:00:00 2001
From: Tim Mickel <tim.mickel@gmail.com>
Date: Wed, 1 Jun 2016 10:37:42 -0400
Subject: [PATCH] Turn off spell check in playground block explorer; increase
font size.
---
playground/index.html | 2 +-
playground/playground.css | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/playground/index.html b/playground/index.html
index 5401ad086..657b6ba3a 100644
--- a/playground/index.html
+++ b/playground/index.html
@@ -10,7 +10,7 @@
<div id="vm-devtools">
<div id="tab-blockexplorer">
<h2>VM Block Representation</h2>
- <textarea id="blockexplorer"></textarea>
+ <textarea id="blockexplorer" spellcheck="false"></textarea>
</div>
</div>
<div id="blocks"></div>
diff --git a/playground/playground.css b/playground/playground.css
index 5b89b6f3f..294746ce6 100644
--- a/playground/playground.css
+++ b/playground/playground.css
@@ -25,4 +25,5 @@ body {
background: rgb(36,36,36);
color: rgb(217,217,217);
font-family: monospace;
+ font-size: 10pt;
}