summaryrefslogtreecommitdiff
path: root/public/css
diff options
context:
space:
mode:
authorDavid Mehren2020-11-15 21:02:36 +0100
committerGitHub2020-11-15 21:02:36 +0100
commit4c0efe1237bc33b52d06eaf86a28adad9a041ec2 (patch)
treefa068d16074645b7b6d8d88b78724b9cd82dd879 /public/css
parent299301f0fe5bea41b4407bbbc03932fc4dd1c1d3 (diff)
parent9898ab3ca5fa226967d8a3aca8e6e752554ed64d (diff)
Merge pull request #453 from hedgedoc/misc/renaming
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;