From 91d4165897df07448cd54cebdf67cf8fb6bbc5ab Mon Sep 17 00:00:00 2001 From: Steven Engler Date: Sat, 6 Jul 2019 19:11:23 -0400 Subject: [PATCH] Improved layout/centering of header --- static/css/styles.css | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/static/css/styles.css b/static/css/styles.css index 6a6b6e5..ba8ec1d 100644 --- a/static/css/styles.css +++ b/static/css/styles.css @@ -168,7 +168,7 @@ blockquote { } .header-right * { - margin-left: 0.8em; + margin-left: 1em; } .header-right *:first-child { @@ -181,6 +181,7 @@ blockquote { .clickable-header-label * { height: 1em; + width: auto; /* to override the attribute when css is supported */ } #show-hide-menu-label { @@ -329,12 +330,21 @@ body { } @media only screen and (max-width: 400pt) { + .header-right { + height: 100%; + align-items: center; + } + + .clickable-header-label { + display: inline-flex; + } + .clickable-header-label * { vertical-align: middle; } #show-hide-menu-label { - display: inline-block; + display: inherit; } .show-hide-menu-input:checked ~ .main .links { @@ -391,6 +401,6 @@ body { } .title { - font-size: 120% + font-size: 130% } }