.navbar{display:inline;font-weight:normal;}.navbar-collapse{float:left;text-align:left;}.navbar-boxtext{word-spacing:0;}.navbarul{display:inline-block;white-space:nowrap;line-height:inherit;}.navbar-brackets::before{margin-right:-0.125em;content:'[ ';}.navbar-brackets::after{margin-left:-0.125em;content:' ]';}.navbarli{word-spacing:-0.125em;}.navbara>span,.navbara>abbr{text-decoration:inherit;}.navbar-miniabbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit;}.navbar-ct-full{font-size:110%;margin:08em;}.navbar-ct-mini{font-size:110%;margin:05em;}/* not the usual @media screen, we simply remove navbar in @media print */html.skin-theme-clientpref-night.navbarliaabbr{color:var(--color-base)!important;}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os.navbarliaabbr{color:var(--color-base)!important;}}@mediaprint{.navbar{display:none!important;}}