diff --git a/css/codemirror.css b/css/codemirror.css index b93fb015..55fde9f0 100644 --- a/css/codemirror.css +++ b/css/codemirror.css @@ -2,10 +2,9 @@ .CodeMirror { /* Set height, width, borders, and global font properties here */ - border: 1px solid #eee; font-family: "Andale Mono", "Menlo", "Lucida Console", monospace; font-size: 0.8em; - height: 96vh; + height: 94vh; } /* PADDING */ diff --git a/doc/notes.txt b/doc/notes.txt index 8716f321..eb863923 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -20,7 +20,6 @@ TODO: - show errors in list (maybe window list?) - click to go to error - what if error in include file you can't edit b/c it never appears? -- can't see 1st line in editor sometimes (when scrolling cursor past bottom of screen) - online help - show self-modifying code insns left of editor - facade/kbd shortcuts for emulators, focus