/* colors */
@import "color.css";

/* *********** Nederlands ****************** */	

/* ***********GENERAL**************** */


body {
  background:white;
  background-color:#ffffff;
  /*background-image: url("images/navigatie.gif");*/
  background-repeat: no-repeat;
  margin: 5px 0 0 230px;
  padding: 0 0 0 0;
  color:#555555;
  font-family:verdana,helvetica;
  /*max-width:100%;*/
  font-size:100%;
}

/* ***********TOP**************** */






/* ******************** GLOBAL SETTINGS ***************** */


span.mediaobject, div.mediaobject {
  float:center;
/*  clear:right; */
}

div.mediaobject {
  width: 80%; /* same width as text, center corresponding to text */
}

 .mediaobject img {
    position:relative;
/*    width:320px;  */
   }


a {color:red;font-family:verdana,helvetica;}

a:hover {color:#00ff00;text-decoration: none;}





div.equation {
position:relative;
font-family:verdana,helvetica;font-size:120%;
width:50%;
left:40px;
}

div.informalequation {
position:relative;
width:70%;
left:30px;
padding-bottom:10px;
}

ul {font-family:verdana,helvetica;}

ol {list-style-type: lower-alpha;font-family:verdana,helvetica;}


.itemizedlist li{with:60%position:relative;display:run-in;}

/*.itemizedlist p{color:#555555;display:run-in;}
*/

.orderedlist li{width:60%position:relative;display:run-in;}

.orderedlist p{color:#555555;display:run-in;}


table {
  border:3pt;
  cellpadding:2pt;
  cellspacing:2pt;
}


tbody {color:#777777;}



p {color:#555555;width:80%;font-weight:normal;}


.typeset {
  font-size:105%;
}


/* ***********Navigation**************** */

p.navigation1-1{position:absolute; top:45px;left:10px;font-family:verdana,helvetica;font-size:12px;width:300px;}
p.navigation1-2{font-family:verdana,helvetica;font-size:12px;position:absolute;top:63px;left:10px;width:200px;}
p.navigation1-3{font-family:verdana,helvetica;font-size:12px;position:absolute; top:81px; left:10px;width:200px;}
p.navigation1-4{font-family:verdana,helvetica;font-size:12px;position:absolute; top:99px; left:10px;width:200px;}
p.navigation1-5{font-family:verdana,helvetica;font-size:12px;position:absolute; top:140px; left:10px;width:200px;}
p.navigation1-6{visibility:hidden;font-family:verdana,helvetica;font-size:12px;position:absolute; top:158px; left:10px;width:200px;}
p.navigation1-7{visibility:hidden;font-family:verdana,helvetica;font-size:12px;position:absolute; top:176px; left:10px;width:200px;}

div.navigation1 {
  position:absolute;
  left:20px;
  top:20px;
  font-size:12px;
  font-family:verdana,helvetica;
  color:white;
  width:200px;
} 

p.navigation2-1{font-family:verdana,helvetica;font-size:12px;position:absolute; top:0px; left:10px;width:200px;}
p.navigation2-2{font-family:verdana,helvetica;font-size:12px;position:absolute; top:18px; left:10px;width:200px;}
p.navigation2-3{font-family:verdana,helvetica;font-size:12px;position:absolute; top:36px; left:10px;width:200px;}
p.navigation2-4{font-family:verdana,helvetica;font-size:12px;position:absolute; top:54px; left:10px;width:200px;}
p.navigation2-5{font-family:verdana,helvetica;font-size:12px;position:absolute; top:72px; left:10px;width:200px;}

div.navigation2{
  position:absolute;
  left:20px;
  top:210px;
  font-size:12px;
  font-family:verdana,helvetica;
  color:white;
  width:200px;
}


p.navigation3-1{font-family:verdana,helvetica;font-size:12px;position:absolute; top:0px; left:10px;width:200px;}
p.navigation3-2{font-family:verdana,helvetica;font-size:12px;position:absolute; top:18px; left:10px;width:200px;}
p.navigation3-3{font-family:verdana,helvetica;font-size:12px;position:absolute; top:36px; left:10px;width:200px;}
p.navigation3-4{font-family:verdana,helvetica;font-size:12px;position:absolute; top:54px; left:10px;width:200px;}
p.navigation3-5{font-family:verdana,helvetica;font-size:12px;position:absolute; top:72px; left:10px;width:200px;}
p.navigation3-6{font-family:verdana,helvetica;font-size:12px;position:absolute; top:90px; left:10px;width:200px;}


div.navigation3{
  position:absolute;
  left:20px;
  top:340px;
  font-size:12px;
  font-family:verdana,helvetica;
  color:white;
  width:200px;
}




@media print {
  div.menu {
    visibility:hidden;
  }
}

.navigation1 a {font-family:verdana,helvetica;font-size:12px;color:white;font-weight:bold;}

.navigation2 a {font-family:verdana,helvetica;font-size:12px;color:white;font-weight:bold;}
.navigation3 a {font-family:verdana,helvetica;font-size:12px;color:white;font-weight:bold;}


.navigation1 a:hover {
  color:#00ff00;
}
.navigation2 a:hover {
  color:#00ff00;
}
.navigation3 a:hover {
  color:#00ff00;
}

.navigation1 p {color:#FFCC99;font-family:verdana,helvetica;font-size:12px;}
.navigation2 p {color:#FF8888;font-family:verdana,helvetica;font-size:12px;;}
.navigation3 p {color:#CCCCE5;font-family:verdana,helvetica;font-size:12px;;}

/* ***********Title**************** */


div.titlepage {
  margin: 0 0 20px 0;color:#00cc99;
  font-style:small-caps;} 

.titlepage hr{
  border:0;
  height:0;
}


h2.subtitle, h3.subtitle {
  font-size:110%;
  color:#FF0000;
  font-family:verdana,helvetica;
  font-weight:bold;
  margin: 0.3em 0 0 0;
  padding: 0 0 0 0;
}

h2.subtitle a:hover, h3.subtitle a:hover {
  color:#ff0000;text-decoration:none;
}

form {
  margin: 0 0 0 0;
  padding: 0 0 0 0;
}
div {
  margin: 0 0 0 0;
  padding: 0 0 0 0;
}

h1.title, h2.title, h3.title {
  font-family:verdana,helvetica;
  margin: 0 0 0 0;
  padding: 0 0 0 0;
}

span.title1 {
  font-family:verdana,helvetica;
  font-weight:bold;font-variant:small-caps;font-size:12px;
}




.titlepage a {color:#00cc99;}

span.title2 {
 
  font-family:verdana,helvetica;
  font-weight:bold;font-variant:small-caps;font-size:12px;
}


span.title3 {
  font-family:verdana,helvetica;
  font-weight:bold;font-variant:small-caps;font-size:12px;
}
.title a:hover {
  color:#ff0000;text-decoration:none;
}

span.oeps {color:#FF0000;font-size:12px;}

span.mark{font-weight:bold;}

.index {
  font-weight:bold;
  color:red;
}

div.assertion.theorem {
  background-color:#ABBCAE;
  width:60%;
  padding:10px 10px 10px 20px;
  margin-bottom: 15px;
}

/* hide jsMath font warnings */

#jsMath_Warning {
  display:none;
}
