diff options
author | David Mehren | 2020-11-15 21:02:36 +0100 |
---|---|---|
committer | GitHub | 2020-11-15 21:02:36 +0100 |
commit | 4c0efe1237bc33b52d06eaf86a28adad9a041ec2 (patch) | |
tree | fa068d16074645b7b6d8d88b78724b9cd82dd879 /public/css | |
parent | 299301f0fe5bea41b4407bbbc03932fc4dd1c1d3 (diff) | |
parent | 9898ab3ca5fa226967d8a3aca8e6e752554ed64d (diff) |
Merge pull request #453 from hedgedoc/misc/renaming
Diffstat (limited to 'public/css')
-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; |