/* ______________________________________________________________________
   default.css
   ______________________________________________________________________ */


body {
  margin-top: 0.2in;
  margin-bottom: 0.2in;
  margin-left: 0.5in;
  margin-right: 0.5in;
}

h1, p, ul {
  font-family: sans-serif;
}

h1 {
  color: gray;
}

p, pre, ul {
  font-size: 14pt;
  margin-bottom: 0.1in;
}

.indent { 
  margin-left: 0.5in;
}

pre {
  background-color: #ccc;
  margin-right: 0.5in;
}

/* ______________________________________________________________________
   End of default.css
   ______________________________________________________________________ */