Turn off spell check in playground block explorer; increase font size.

This commit is contained in:
Tim Mickel 2016-06-01 10:37:42 -04:00
parent 8374d116bf
commit 4df584bc20
2 changed files with 2 additions and 1 deletions

View file

@ -10,7 +10,7 @@
<div id="vm-devtools"> <div id="vm-devtools">
<div id="tab-blockexplorer"> <div id="tab-blockexplorer">
<h2>VM Block Representation</h2> <h2>VM Block Representation</h2>
<textarea id="blockexplorer"></textarea> <textarea id="blockexplorer" spellcheck="false"></textarea>
</div> </div>
</div> </div>
<div id="blocks"></div> <div id="blocks"></div>

View file

@ -25,4 +25,5 @@ body {
background: rgb(36,36,36); background: rgb(36,36,36);
color: rgb(217,217,217); color: rgb(217,217,217);
font-family: monospace; font-family: monospace;
font-size: 10pt;
} }