h1    {
  text-align: center
}
hr    {
  height: 3; 
  background-color: black;
  color: black
}
dt    {
  font-weight: bold
}
.code {
  color: #A04000;
  font-weight: bold
}
.codex {
  color: #A04000;
  font-weight: bold
}
.function{
  background-color: #90FF90
}