Editor: remove old dark button, now in nav.js

Author: pepc84

editor/index.html

@@ -67,7 +67,6 @@
     <div class="pane-bar">
       <span class="pane-label">Output</span>
       <button class="btn-stop" onclick="stopSketch()" tabindex="-1">&#9632; Stop</button>
-      <button id="btn-dark" onclick="toggleDark()" tabindex="-1" style="background:#111;color:#fff;border:none;padding:5px 12px;border-radius:4px;font-size:12px;cursor:pointer;">🌙 Dark</button>
     </div>
     <div id="preview-area">
       <div id="preview-placeholder">Press Run or Ctrl+Enter</div>