@import url(/static/theme.css);
/* General Navigation Bar Styles */
nav,
nav a,
nav span,
.navcontainer,
.demobar,
nav button,
.navbtn {
  color: var(--navbar-foreground);
  background: var(--navbar-background);
  transition: background 0.2s, color 0.2s;
}

/* Currently Visible Page */
nav a.active,
nav span.active,
.navbtn.active {
  background-color: var(--navbar-button-selected);
}

nav a.active:hover,
nav span.active:hover,
.navbtn.active:hover,
nav a:hover,
nav button:hover,
nav span:hover,
.navbtn:hover {
  background: var(--navbar-button-hovering);
}