body {
	margin: 2% 7% 3% 2%;
	background-color: #ededfe;
}

h1 {
  font-family: Gill, Helvetica, sans-serif;
  font-variant: small-caps;
}

div.toolbar {
   text-align: left;
/*   border-right: 2px dashed darkblue;*/
   padding-right: 10px;
   padding-bottom: 20px;
}

div.toolbar > a {
	background-color: yellow;
}

h2 {
  font-family: sans-serif;
}

a:link {
  color: green;
}

a:hover {
  background-color: #88EEDD;
}

a:visited {
  color: #550000;
}


p.lined {
  border-top: 1px dashed #0000FF;
  padding-top: 15px;
}

/*
 * Markov specifics 
 */
div.exercise {
  /* Null */
}

div.exercise p {
   font-weight: 100;
   color: #090909;
   text-indent: 3em;
   margin: 0px 0px 0px 0px;
}

div.exercise h4:before {
   font-weight: bolder;
   font-variant: small-caps;
   content: "Exercise: ";
/*  This is what we want, but only Opera supports it as of 24/10/03
  content: "Exercise: " counter(exercise);*/
   counter-increment: exercise;
}

div.exercise h4 {
   margin: 2.5ex 0px 0.5ex 0px;
}

/* Matrix representation */
table.matrix {
        border-collapse: collapse;
        border-top: medium solid black;
        border-bottom: medium solid black;
        border-left: thin solid #AAAAAA;
        border-right: thin solid #AAAAAA;
}

table.matrix th {
        border-bottom: thin solid #101010;
        border-left: thin solid #AAAAAA;
        text-align: center;
        padding-left: 3px;
        padding-right: 5px;
}

table.matrix td {
        border-left: thin solid #AAAAAA;
}