summaryrefslogtreecommitdiff
path: root/public/css
diff options
context:
space:
mode:
Diffstat (limited to 'public/css')
-rw-r--r--public/css/index.css15
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;