diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/css/index.css | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/public/css/index.css b/public/css/index.css index fb8356eb..d266ad88 100644 --- a/public/css/index.css +++ b/public/css/index.css @@ -106,7 +106,10 @@ body.night{ color: #78B2F2 !important; } .CodeMirror-sizer { - margin-bottom: 0px !important; + /* Make sure CodeMirror doesn't hide text under the status bar + * 26px is the height of the status bar. + */ + margin-bottom: 26px !important; } .CodeMirror-insert-match { background: lawngreen; |