/*    The stylesheet used for printing.
This stylesheet is used to render the docs nicely for printing.    */

body {
  background-color: white;
  color: black;
  font-family: Verdana, "Arial Unicode MS", Arial, sans-serif;
  font-size: 12pt;
  margin: 1px;
}