html *
{
   font-family: Arial !important;
}

.example {
  margin-left: 10px;
  margin-right: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-bottom: 10px;
  background-color: #dddddd;
  color: black;
}

.warn {
  margin-left: 10px;
  margin-right: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-bottom: 10px;
  background-color: #ff6666;
  color: black;
}

.note {
  margin-left: 10px;
  margin-right: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-bottom: 10px;
  background-color: #bbbbee;
  color: black;
}

.reftitle {
  margin-left: 3px;
  margin-right: 10px;
  margin-top: 20px;
  margin-bottom: 0px;
  padding-left: 4px;
  padding-right: 4px;
  padding-bottom: 4px;
  padding-top: 4px;
  border-style: solid;
  border-width: 1px;
}

div.reftitle p {
  margin-top: 0px;
  margin-bottom: 0px;
  font-family: monospace;
  font-weight: bold;
}

h1 {
  padding: 2px;
  background-color: #ffff99;
  color: black;
  text-align: center;
}

h2 {
  margin-top: 15px;
  padding: 2px;
  background-color: #ccffcc;
  color: black;
}