body
{ font-family: trebuchet ms, verdana, helvetica; margin-left: 10%; margin-right: 10%;
  background-color: rgb(235,235,250); color: black;
}
h1
{ width: 100%; font-size: large; font-weight: bold;
  border: solid black; border-width: 0 0 1px 0;
  margin-top: 0; margin-bottom: 0; padding-bottom: 0.2ex;
}
.details {margin-top: 0; margin-bottom: 2em; 
  border: solid black; border-width: 0 0 1px 0;}

h2,h3 {font-weight: bold; font-size: small; margin-bottom: 0;}

.section {margin-top: 1em; margin-bottom: 1em;}
.author {font-style: italic;}
a { color: rgb(0,0,96 0; text-decoration: none;}
p {margin-top: 0;}
a:hover { text-decoration: underline; }
a:active { text-decoration: underline; }
a:visited { color: rgb(96,0,32); }
a.plain {text-decoration: none; color: black;}
a.plain:visited {text-decoration: none; color: black;}
a.plain:hover {text-decoration: underline;}
a.plain:active {text-decoration: underline;}
a.subtle {text-decoration: none;}
a.subtle:visited {text-decoration: none;}
a.subtle:hover {text-decoration: none;}
a.subtle:active {text-decoration: none;}
img.plain {border: 0;}
.footer {margin-top: 3em; font-size: xx-small;}