/* ----------------------------------- */
/* --- variables for all css-files --- */
/* ----------------------------------- */
:root {
  --color-praxisblue: rgb(85,119,174);
  --color-green: #119955;
  --color-silver: silver;
  --color-black: black;
  --color-dimgray: dimgray;
  --color-lightgray: lightgray;
  --color-gray: gray;
  --color-darkgray: darkgray;
  --color-firebrick: firebrick;
  --color-crimson: crimson;
  --color-red: red;
  --color-white: white;
  --color-yellow: yellow;
  --color-border: #f1f1f1;
  --color-blue: blue;
  --color-hover:rgb(85,119,174);
  
  --color-gold: #FFD700;
  --color-lemon-chiffon:#FFFACD;
  --color-antique-white:#FAEBD7;

  --background-level-1:green;
  --background-level-2:lightyellow;
  --background-level-3:lightblue;

  --praxis-blue: rgb(85,119,174);
  --nav-height: 2.5rem;
  --line-height: 4px;
  --line-color: #444;

  --menu-background: silver;
  --nav-background: silver;
  --button-background: lightgray;

  --aside-background: #fffbf0;
  --content-background: white;

  --border-color: black;
  --hover-color: white;
  --hover-background: firebrick;
  --active-background: firebrick;
  --active-color: white; /*firebrick;*/
  
  --text-color-gray: gray;
  --text-color-black: black;
  --text-color-white: white;

  --duration: .25s;
  /* Wird per JS dynamisch gesetzt (Headerhöhe) */
  --header-height: 0px;
}