h1 { 
  font-size: 300%;
  font-family: verdana, sans-serif;
  font-weight: normal;
  color: #660000;
  margin: 0;
}
h2 {
  color: white;
  background-color: #660000;
  font-size: small;
  font-family: sans-serif;
  font-weight: bold;
  padding-left: 0.25ex;
  padding-top: 0.25ex;
  padding-bottom: 0.25ex;
}
h3 {
  font-weight: bold;
  font-family: sans-serif;
  font-size: small;
  padding-left: 0.25ex;
}
h4 {
  font-weight: bold;
  font-family: sans-serif;
  font-size: small;
  color: #336633;
  margin: 0 0 0 35px;
}
p, li {
  margin: 0 0 0 35px;
}
p + p, li + p, p + li, h4 + h4, p + h4, h4 + p, li + h4, h4 + li {
  margin-top: 1ex;
}
pre, table.script {
  margin-left: 65px;
}
dt {
  margin: 0 0 0 35px;
  font-weight: bold;
  display: compact;
}
dd {
  margin: 0 0 0 100px;
}
img {
  border: none;
}
#subtitle {
  margin: 0;
  padding-left: 0;
  font-size: small;
  font-family: sans-serif;
}
#menu {
  background-color: #ffffcc;
  color: black;
  padding-bottom: 5px;
  font-size: x-small;
  font-family: sans-serif;
}
#menu>p {
  margin-left: 5px;
}
#mugshot {
  font-size: x-small;
  font-family: sans-serif;
}
table.wrapper td {
  vertical-align: top;
  direction: ltr;
}
table.wrapper td + td {
  padding-left: 10px;
}
span.tex-e {
  text-transform: uppercase;
  font-size: 80%;
  vertical-align: -20%;
  margin-left: -0.5%;
}
span.latex-a {
  text-transform: uppercase;
  font-size: 80%;
  vertical-align: +20%;
  margin-left: -1%;
}
ul.shoppinglist {
  list-style-type: none;
  font-size: small;
}
.lyrics {
  font-style: italic;
  font-size: small;
}
/* DL looks dumb 'cos Mozilla doesn't implement display:compact;
   so use tables instead.  */
table.script th {
  text-align: left;
  padding-right: 1em;
  vertical-align: top;
}
/* Because U is deprecated.  Why? */
i.u {
  font-style: normal;
  text-decoration: underline;
}
/* For in-page notes.  */
.aside {
   display: none;
}