/* Format definitions for Eden web pages     */
/* Author: Jost Berthold, FB 12, Uni-Marburg 
   New pages: use currently only code styles */

/* ---------- link decoration -------------- 
	(valid for all classes (WHY?!?)      */

/*  a:link { font-weight:bold; 
	   color:#4169E1;
	   text-decoration:underline } 
  a:visited { font-weight:bold; 
	      color:#DC143C;
	      text-decoration:none }
  a:hover { font-weight:bold; 
	    color:#DC143C;  
	    background-color:#FFDEAD; 
	    text-decoration:none }
  a:active { font-weight:bold; 
	     color:#4169E1;  
	     text-decoration:underline }
  a:focus { font-weight:bold; 
	    color:#32CD32; 
	    text-decoration:underline }
 */
/* ----------- normal style ----------------- */
/* body {	
       background:#FFFACD; 
}*/

/* --- force inherited font size for tables - */
/*table {
	font-size:inherit;
	border-style:none;
}
 */
/* ------ navigation style (in table) ------- */
/*.navi {
	background-color:white;
        color:black; 	
	font-weight:bold;
	vertical-align:top;
}
 */

/* -------- content style (in table) -------- */
/*.content {
	font-size:medium;
	vertical-align:top;
}
 */

/* -------- style for quick links (top) ----- */
.jumpbar {
	font-weight:bold;
	font-size:medium; 
	text-align:center;
	text-decoration:underline;
}
 
/* -------- two true-type classes for code -- */
.tt {
	font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace;
}
.ttsmall {
	   font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace;
	  }
.hs-keyglyph { font-family:DejaVu Sans Mono, Lucida Console, Courier new, monospace; color: DarkGoldenrod;  }
.hs-layout   {font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace; color: Black;}
.hs-keyword  {font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace; color: PaleGreen;}
.hs-comment  { font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace;color: Firebrick;}
.hs-str      { font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace;color: RosyBrown; }
.hs-chr      {font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace; color: RosyBrown;}
.hs-keyword  { font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace; color: BlueViolet; }
.hs-conid    {font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace; color: ForestGreen; }
.hs-varid    { font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace;color: black; }
.hs-num      {font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace; color: black; }
.hs-varop    {font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace; color: DarkGoldenrod; }
.hs-conop    {font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace; color: DarkGoldenrod; }
.hs-sel      { font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace;color: Red; }
.hs-cpp      { font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace;color: Red; }
.hs-definition { font-family: DejaVu Sans Mono, Lucida Console, Courier new, monospace;color: Blue; }