From 36571ec5ceeff536c0a3b68ee01ef168633635c3 Mon Sep 17 00:00:00 2001 From: Thomas Junk Date: Thu, 23 Nov 2023 17:34:06 +0100 Subject: [PATCH] small adjustments --- static/css/main.css | 29 +++++++++++++++++++---------- 1 file changed, 19 insertions(+), 10 deletions(-) diff --git a/static/css/main.css b/static/css/main.css index 22fe7f7..8e00ea2 100644 --- a/static/css/main.css +++ b/static/css/main.css @@ -72,8 +72,8 @@ hr { } .content { - margin-left: 2rem; - margin-right: 2rem; + margin-left: 0.5rem; + margin-right: 0.5rem; margin-top: 1rem; } @@ -214,7 +214,7 @@ hr { } .collapsible-body { - margin-left: 1.5rem; + margin-left: 0.25rem; } .backbutton { @@ -235,10 +235,6 @@ hr { padding: 0.25rem; } -.key { - width: 12rem; -} - .hint { background: lightgray; } @@ -373,10 +369,14 @@ hr { min-width: 30px; } +.key { + width: max-content; +} + .branch { - margin-left: 0.75rem; + margin-left: 0.5rem; margin-bottom: 1rem; - margin-top: 0.6rem; + margin-top: 0.5rem; } .is-small { @@ -384,7 +384,7 @@ hr { } .xgeneric { - margin-left: 3rem; + margin-left: 1rem; } .category-name { @@ -447,6 +447,12 @@ hr { } @media screen and (min-width: 700px) { + .content { + margin-left: 2rem; + margin-right: 2rem; + margin-top: 1rem; + } + .header { flex-direction: row; margin-bottom: 1rem; @@ -484,4 +490,7 @@ hr { margin-bottom: 1rem; margin-top: 0.6rem; } + .key { + width: 12rem; + } }