/* generic class defining a top margin whose height equals the font size */ .tm {margin-top: 1em} /* background, border, border-radius, and padding for the

 tag */
pre {
  background: #F7F7F7;
  border: silver solid 1px;
  border-radius: 4px;
  padding: 4px;
}

/* background for the  tag */
body {background: #FFFFFF}

/* color for the  tag */
span.red {color: #E00000}
span.cmt {color: #36648b}