a:link { color: #b3854a; }
a:visited { color: #d2a15e; }

body {
  background-color: white;
  font-family: sans-serif;
  color: black;
}

h1, h2, h3, .header {
  color: #4e8029;
}

#Content {
  margin: 0px 10px 10px 10px;
  padding: 0px 10px 10px 10px;
}

#Copyright {
  margin: 0px 10px 10px 10px;
  padding: 10px 10px 10px 10px;
}

#DownloadBar {
  border:1px dashed #999;
  margin: 0px 10px 10px 10px;
  padding: 10px 10px 10px 10px;
}

pre {
  color: black;
  padding: 10px;
  background-color: #ddedd1;
  border: 1px dashed #999;
}