diff options
Diffstat (limited to 'public/css/index.css')
-rw-r--r-- | public/css/index.css | 25 |
1 files changed, 5 insertions, 20 deletions
diff --git a/public/css/index.css b/public/css/index.css index d9ebf6de..d266ad88 100644 --- a/public/css/index.css +++ b/public/css/index.css @@ -20,24 +20,6 @@ body.night{ background: #333 !important; } -.toolbar { - background-color: #1c1c1e; - border: 1px solid #343434; -} - -.toolbar > .btn-toolbar > .btn-group > .btn { - background-color: #1c1c1e; - padding: 5px; - font-size: 1em; -} - -.toolbar > .btn-toolbar > .btn-group > .btn:hover { - background-color: #383a3e; - - padding: 5px; -} - - .CodeMirror { font-family: "Source Code Pro", Consolas, monaco, monospace; letter-spacing: 0.025em; @@ -124,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; @@ -385,7 +370,7 @@ div[contenteditable]:empty:not(:focus):before{ color: #eee; } -.night .btn.btn-default.ui-view.active{ +.night .btn.btn-default.active{ background: #202020; } |