body {
  background: #ffffff;
}

/* used for the pages w/o the nav system */
body.simple{
  font-size: larger;
}

a.DSS:link { 
  color: #006633;

}
a.DSS:visited { 
  color: #006633;
}


/* Used for the content in pages w/o nav system */
div.content {
  font: 100% Georgia, Times, serif;
  margin-left: 10px;
  margin-right: 10px;
  padding-left: 4px;
  padding-right: 4px;
}

/* stolen from the effbot ;) */
pre.code { 
    font: 100% "Courier New", Courier, Monaco, monospace;
    color: #042; background: #f8fff8;
    margin-left: 20px; margin-right: 20px;
    padding: 5px 5px 5px 5px;
    border: 1px dotted #084;
}

/* Permalink */
a.perma {
    color: #902190;
}