diff --git a/src/theme/css/chrome.css b/src/theme/css/chrome.css index 4b3870e5..02d0dced 100644 --- a/src/theme/css/chrome.css +++ b/src/theme/css/chrome.css @@ -45,7 +45,7 @@ a > .hljs { position: relative; padding: 0 8px; z-index: 10; - line-height: 50px; + line-height: var(--menu-bar-height); cursor: pointer; transition: color 0.5s; } @@ -73,7 +73,7 @@ a > .hljs { } html:not(.sidebar-visible) #menu-bar:not(:hover).folded > #menu-bar-sticky-container { - transform: translateY(-60px); + transform: translateY(calc(-10px - var(--menu-bar-height))); } .left-buttons { @@ -88,7 +88,7 @@ html:not(.sidebar-visible) #menu-bar:not(:hover).folded > #menu-bar-sticky-conta display: inline-block; font-weight: 200; font-size: 20px; - line-height: 50px; + line-height: var(--menu-bar-height); text-align: center; margin: 0; flex: 1; @@ -446,7 +446,7 @@ ul#searchresults span.teaser em { .theme-popup { position: absolute; left: 10px; - top: 50px; + top: var(--menu-bar-height); z-index: 1000; border-radius: 4px; font-size: 0.7em; diff --git a/src/theme/css/general.css b/src/theme/css/general.css index e1e671e9..336b5a5d 100644 --- a/src/theme/css/general.css +++ b/src/theme/css/general.css @@ -49,7 +49,7 @@ h1 a.header:target, h2 a.header:target, h3 a.header:target, h4 a.header:target { - scroll-margin-top: 62px; + scroll-margin-top: calc(var(--menu-bar-height) + 0.5em); } .page { diff --git a/src/theme/css/variables.css b/src/theme/css/variables.css index 6838c644..9534ec8d 100644 --- a/src/theme/css/variables.css +++ b/src/theme/css/variables.css @@ -5,6 +5,7 @@ --sidebar-width: 300px; --page-padding: 15px; --content-max-width: 750px; + --menu-bar-height: 50px; } /* Themes */