body{
  font-weight:normal;
  color:black;
  margin-left:0%;
  margin-right:0%;
  background:white;
  font-size:18pt;
  font-family: Arial;
}

hr
{
  color:red;
  width:100%;
  height: 5px;
}

.definition
{
  background: #ffffdd;
}

.theorem
{
  background: #ddffff;
}

.code
{
  white-space:pre;
  font-family: monospace;
  font-size: 100%;
}

b.code
{
  color:maroon;
}

.correctCode
{
  background: #ffffee;
}

.incorrectCode
{
  background: #ffefef;
}

.tag
{
  color: pink;
  font-size:110%;
}