move personal menu out of the GOLEM navbar

This commit is contained in:
giomba 2021-12-05 21:32:38 +01:00
parent e48047b91c
commit c4411860a6
2 changed files with 3 additions and 3 deletions

View File

@ -110,7 +110,7 @@ body {
/* Navigation Containers */
#left-navigation {
float: left;
margin-top: @height-header;
margin-top: 6em;
/* When right nav would overlap left nav, it's placed below it
(normal CSS floats behavior). This rule ensures that no empty space
is shown between them due to right nav's margin-top. Page layout
@ -121,7 +121,7 @@ body {
#right-navigation {
float: right;
margin-top: @height-header;
margin-top: 6em;
}
#p-personal {

View File

@ -106,7 +106,7 @@
// Navigation: Personal tools
@background-position-nav-personal-icon: left ( 4 / @font-size-browser / @font-size-nav-personal );
@background-size-nav-personal-icon: 14 / @font-size-browser / @font-size-nav-personal;
@top-personal-tools: 6px;
@top-personal-tools: 6em;
@font-size-nav-personal: 0.75em;
// Using `unit()` without second parameter to achieve a unitless output for `line-height`.
@line-height-nav-personal: unit( 14 / @font-size-browser / @font-size-nav-personal ); // Equals `1.667`.