a.tocroll{
  font-family: Verdana;
  font-size: 8pt;
  color: #23238E;
  text-decoration: none;
}
a.tocroll:hover {
  font-weight: bold;
  color:#0000FF;
  text-decoration: none;
}

div{
  font-family: Verdana;
  font-size: 10pt;
  color: #23238E;
  /*margin-left: 1mm;*/
}

h1, h2, h3, h4, h5, h6{
  font-family: Verdana;
  color: #23238E;
}
.toc{
  margin-bottom: 2;
  margin-top: 2;
}

hr{
  color: #23238E;
}

p, li{
  font-family: Verdana;
  font-size: 8pt;
  color: #23238E;
}
.example{
  color: #800000;
}

table{
  margin-left: 5px;
}
.tbExample{
  border-color: #800000;
}

th{
  font-family: Verdana;
  font-size: 8pt;
}
.thExample{
  color: #800000;
  text-align: center;
}

td{
  font-family: Verdana;
  font-size: 8pt;
}
.tdExample{
  color: #800000;
  text-align: center;
}