/* ----------------------------------- */
/* --- variables for all css-files --- */
/* ----------------------------------- */
:root {
  --praxis-blue: rgb(85,119,174);
  --nav-height: 2.5rem;
  --line-height: 4px;
  --line-color: #444;
  --menu-background: lightyellow;
  --nav-background: silver;
  --border-color: black;
  --hover-color: white;
  --hover-background: firebrick;
  --active-background: firebrick;
  --active-color: firebrick;
  --duration: .25s;
  /* Wird per JS dynamisch gesetzt (Headerhöhe) */
  --header-height: 0px;
}