div.answer
{
  font-size:125%;
}

div.highlight
{
  background-color:yellow
}

div.solution
{
  color:#000065;
}

div.good
{
  color:green;
}

div.warn
{
  color:red;
}

div.buylink
{
  font-size:125%;
}