ul.leftmenu li a
{
  font: 10pt Arial;
  color: darkblue;
  font-weight: bold;
}

ul.leftmenu li
{
  margin-top: 5px;
  margin-bottom: 5px;
  color: darkblue;
}

.nutshelltermsbox
{
  border: solid thin darkred;
  margin: 4px;
  margin-top: 12px;
  padding: 4px;
  font: 10pt arial;
  color: darkred;
}

ul.nutshelltermslist
{
  margin-left: 16px;
  padding-left: 12px;
  margin-top: 4px;
  margin-bottom: 4px;
  font: 10pt arial;
  color: darkred;
}

.factsbox
{
  border: dotted thin darkblue;
  margin: 24px;
  margin-top: 12px;
  margin-bottom: 12px;
  padding: 4px;
  font: 12pt arial;
  color: darkblue;
}

.whatsnewbox
{
  border: dotted thin darkred;
  margin: 8px;
  margin-top: 12px;
  margin-bottom: 12px;
  padding: 4px;
  padding-bottom: 10px;
  font: 10pt arial;
  color: darkred;
  text-align: left;
}

ul.factslist
{
  margin-left: 16px;
  padding-left: 12px;
  margin-top: 4px;
  margin-bottom: 4px;
  font: 10pt arial;
  color: darkblue;
}

table.article1
{
  font: 10pt arial;
  color: black;
}