/* John's default style */
BODY { 
  color: black;
  background: white;
  background-color: white;
  font-family: sans-serif;
  font-size: small;
  font-style: normal;
  font-weight: normal;
  margin-top: 15em;
  margin-bottom: 15em;
  margin-left: 5%;
  margin-right: 8%;
  text-align: left;   /* discourage justification */
  letter-spacing: 0;  /* in fact, switch it right off */
  /* line-height: 125% */
}

A:link { color: blue }
A:active { color: green }
A:visited { color: purple }

H1 { font-size: large; font-style: normal; font-weight: bold }
H2 { font-size: medium; font-style: normal; font-weight: bold }
H3 { font-size: small; font-style: normal; font-weight: bold }

/*
  This one doesn't work on my IE, as far as I can tell:
  P:first-letter { font-size: 200%; float: left }
*/

div.tail {
  font-style: italic;
  text-align: center;
}

.aside {
  font-size: x-small;
  /* sotto voce for audio browsers */
  volume: soft;
  pause-before: 350ms;
  pause-after: 450ms;
}

.inprogress {
  font-family: monospace;
  font-style: italic;
  font-size: x-small;
}

.ornamentative {
  font-family: cursive;
}