/* a { text-decoration: none; } */
/* see http://www.umiacs.umd.edu/~jimmylin/INFM700-2008-Spring/style.css */
/* earlier body color: #555555 */
/* earlier link color: #990000 */

a:link, A:visited { color: #0000FF; }
a:hover { color: black; }
body {
  color: black;
  margin-top: 20px;
  margin-left: 40px;
  margin-right: 40px;
  font-family: verdana, lucida sans unicode, verdana, sans, arial, helvetica, sans-serif;
  font-size: 95%;
}
td {
  padding: 5px;  }
code {
  font-size: 125%;
}
div.main {
  text-align: left;
  padding: 5px 10px 15px 0;
  border-top: solid 1px gray;
  border-bottom: solid 1px gray;
}
pre {
  margin-left: 20px;
}