nav.js: remove blanket CM height override

Author: pepc84

assets/nav.js

@@ -62,13 +62,9 @@
     style.textContent = `
       html.dark-pre body { background:#1a1a2e !important; }
       pre#code-pre { display:none !important; }
-      .CodeMirror { height: auto !important; }
-      .CodeMirror-scroll { overflow-y: visible !important; overflow-x: auto !important; min-height: 0 !important; }
-      .CodeMirror-sizer { margin-bottom: 0 !important; }
+
       pre#code-pre { display:none !important; }
-      .CodeMirror { height: auto !important; }
-      .CodeMirror-scroll { overflow-y: visible !important; overflow-x: auto !important; min-height: 0 !important; }
-      .CodeMirror-sizer { margin-bottom: 0 !important; }
+
       #site-nav {
         border-bottom: 1px solid #e0e0e0;
         padding: 0 2rem;