diff options
Diffstat (limited to '')
-rw-r--r-- | public/css/index.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/public/css/index.css b/public/css/index.css index d266ad88..992c9a7b 100644 --- a/public/css/index.css +++ b/public/css/index.css @@ -20,6 +20,21 @@ body.night{ background: #333 !important; } +body.night .no-night { + display: none; +} + +body:not(.night) .night { + display: none; +} + +.h-100 { + height: 100%; +} +.header-brand { + padding: 6px; +} + .CodeMirror { font-family: "Source Code Pro", Consolas, monaco, monospace; letter-spacing: 0.025em; |