body, td { font-family: Arial, Helvetica, sans-serif; }

body {
  margin-bottom: 600pt; /* gives us lots of whitespace at the bottom of
                           every page, to make anchor links work */
  background-repeat: no-repeat;
  background-position: 50% 115pt;
  background-color: white;

  /* PLEASE DON'T FUCK WITH THESE VALUES WITHOUT TALKING WITH THE PERSON
     WHO MADE THE STYLESHEET FIRST. THANK YOU FOR YOUR COOPERATION. */
  margin-left: 10%;
  margin-right: 10%;
  margin-top: 140pt;
}

.top, .top td {
  background-color: #004;
  margin-top: 80pt;
  text-align: center;
  color: white;
}

.top a:link { color: white;   text-decoration: none; font-weight: bold; }
.top a:visited { color: #bbb; text-decoration: none; font-weight: bold; }

.contents { margin-left: 12%; margin-right: 12%; text-align: justify }

.center, .author {
  text-align: center;
}

a { font-weight: bold }
h1 { color: #004; text-align: right }
a:link { color: darkgreen }
a:visited { color: darkgreen }
h2 { margin-top: 36pt; color: #004 }
h3 { margin-top: 24pt; color: #004 }

dt {
  margin-top: 6pt;
  font-weight: bold;
}

.partof {
  text-align: right;
  font-size: 80%;
}

th {
  text-align: left;
}

.psiname
  { color: red; }