/*** theme ***/
// now beware node-sass requires interpolation
// for css custom properties #{$var}
- --mainColor: #{$orange-color};
- --mainColorLighter: #{$orange-color-lighter};
- --mainHoverColor: #{$orange-hover-color};
+ --mainColor: #{$main-color};
+ --mainColorLighter: #{$main-color-lighter};
+ --mainHoverColor: #{$main-hover-color};
--mainBackgroundColor: #{$bg-color};
--mainForegroundColor: #{$fg-color};
- --secondaryColor: #{$cyan-color};
+ --secondaryColor: #{$secondary-color};
--menuBackgroundColor: #{$menu-background};
--menuForegroundColor: #{$menu-color};
color: black;
}
+.row {
+ margin: 0;
+}
+
.main-col {
margin-left: $menu-width;
- width: auto;
+ width: calc(100% - #{$menu-width});
.margin-content {
margin-left: $not-expanded-horizontal-margins;
// Override some properties if the main content is expanded (no menu on the left)
&.expanded {
margin-left: 0;
+ width: 100%;
.margin-content {
margin-left: $expanded-horizontal-margins;
.title-page-about,
.title-page-settings {
+ white-space: nowrap;
font-size: 115%;
font-weight: $font-regular;
}
}
+.anchor {
+ position: relative;
+ top: #{-($header-height + 20px)};
+}
+
@media screen and (max-width: #{map-get($grid-breakpoints, xxl)}) {
.main-col {
&.expanded {