.face {color: red}
  .edge {color: green}
  .corner {color: blue}
  .rotate {color: darkred; font-weight: 600}
  .algo {color: purple; font-weight: 700}
  p {text-align: justify}
  body {font-family: Verdana, Times New Roman}
  H1   {font-family: Georgia, Times New Roman}
  H2   {font-family: Georgia, Times New Roman}
  sup  {font-style: small}
  DIV.maintitle {font-weight: bold; text-align: center; font-family: Georgia, Times New Roman; font-size: 24pt}
  DIV.eqn {margin-left: 1in; margin-bottom: 6pt}