/* =============== Color styling ===============
   ---- These styles provide a basic layout ----
   ---- for presentations, with different   ----
   ---- colors for projection, screen, and  ----
   ---- printed handouts.                   ----
   ============================================= */

/* =============== System theme ================ */

/* Colors in this style sheet are set using the 
   so-called 'system color names' */

/* -------------- General styling -------------- */

html, body { 
  color: WindowText; 
  background: AppWorkspace; 
  }

/* --------------- Screen styling -------------- */

@media screen { 

* { 
  color: WindowText !important; 
  background: Window  !important; 
  }

pre { 
  color : MenuText !important; 
  background: Menu !important; 
  }

a[href] { 
  color : blue !important; 
  background: white !important; 
  }

.notes { 
  color: InfoText !important; 
  background: InfoBackground !important; 
  }

}

/* --------------- Print styling --------------- */

@media print { 

*, a[href] { 
  color: black; 
  background: white; 
 }

}

/* ------------- Projection styling ------------ */

@media projection { 

html, body { 
  color: WindowText; 
  background: AppWorkspace; 
  }

div.projection { 
  color: WindowText; 
  background: Window; 
  border: thick ridge ActiveBorder; 
  }

h1, h2 { 
  color: CaptionText; 
  background: ActiveCaption; 
  /* border-bottom: thick solid Background; */
  /* hint: set either a border-bottom or color/background, but not both */
  }

pre { 
  color : MenuText; 
  background: Menu; 
  }

a[href] { 
  color : blue !important; 
  background: white !important; 
  }

}