changed as little as necessary to remove alternative styling

index.html

@@ -4,7 +4,7 @@
   <title></title>
   <meta charset=utf-8>
   <link rel=stylesheet href='style/style.css'>
-  <link rel=stylesheet href='style/new-style.css'>
+  <!--<link rel=stylesheet href='style/new-style.css'>-->
   <link rel=stylesheet href='lib/codemirror/addon/dialog/dialog.css'>
   <!-- <link rel=stylesheet href='node_modules/golden-layout/src/css/goldenlayout-base.css'> -->
   <!-- <link rel=stylesheet href='node_modules/golden-layout/src/css/goldenlayout-light-theme.css'> -->
@@ -309,7 +309,7 @@
       <p><label><input id=code_vt   type=checkbox>Show <u>v</u>alue tips</label>
       <p><label><input id=code_sqp   type=checkbox>Show <u>q</u>uit prompt</label>
       <p><label><input id=code_sqt  type=checkbox>Show tips for <u>g</u>lyphs</label>
-      <p><label><input id=code_dark  type=checkbox>New Dark Theme</label>
+      <p style="display:none"><label><input id=code_dark  type=checkbox>New Dark Theme</label>
     </div>
 
     <!--Colours-->

src/init.js

@@ -25,7 +25,7 @@ if(D.el){
   document.onmousewheel=
     function(e){var d=e.wheelDelta;d&&(e.ctrlKey||e.metaKey)&&!e.shiftKey&&!e.altKey&&CM.commands[d>0?'ZMI':'ZMO']()}
   document.body.className+=' zoom'+D.prf.zoom();
-  D.prf.dark()&&(document.body.className+=' newDark');
+  D.prf.dark()&&false&&(document.body.className+=' newDark');
   D.prf.zoom(function(z){
     if(!D.ide)return
     var wins=D.ide.wins

style/style.css

@@ -124,7 +124,7 @@ table {
 }
 @font-face {
   font-family: 'apl';
-  src: url('Apl385.woff') format('woff'), url('Apl385.ttf') format('truetype');
+  src: url('fonts/Apl385.woff') format('woff'), url('fonts/Apl385.ttf') format('truetype');
 }
 ::selection {
   background: #0a246a;
@@ -1537,6 +1537,7 @@ input.lyt_g3:hover {
   white-space: nowrap;
   cursor: default;
 }
+.dark #wse{background:#777}
 #wse div {
   padding-left: 1em;
   margin: 2px 0;