BODY {
  margin: 40px;
}
H3 {
  font-weight: bold;
  font-size: 120%;
  line-height: 125%;
  padding: 5px 20px;
  border-width: 1px 5px;
  border-color: #cc3333;
  border-style: solid;
  margin: 4ex 0em 1.5ex 0em;
}
P {
  margin-top: 1ex;
  margin-bottom: 1ex;
  line-height: 125%;
  text-indent: 1em;
}
P.noindent {
  text-indent: 0em;
}
UL, OL {
  line-height: 150%;
}
HR {
  margin: 20px 0px;
}
.highlight {
  font-weight: bold;
  color: #cc3333;
}
.unsolved {
  background-color: red;
  color: white;
  font-weight: bold;
}
#footer {
  text-align: center;
}
#information {
  padding: 20px 20px;
  border-width: 2px;
  border-color: #cc3333;
  border-style: solid;
  background-color: #ffffcc;
  margin: 20px 40px;
}