/* John's tty pages style */
BODY { 
  color: black;
  background: white;
  background-color: white;
  font-family: sans-serif;
  font-size: small;
  font-style: normal;
  font-weight: normal;
  margin-top: 5em;
  margin-bottom: 5em;
  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;
  padding: 4px;
  background:     #a0a0a0;
  color:          #004000;
  border-top:     2px solid #404040;
  border-bottom:  2px solid #404040;
  border-left:    2px solid #404040;
  border-right:   2px solid #404040;
}

H2 {
  font-size: medium;
  font-style: normal;
  font-weight: bold;
  padding: 2px;
  background:     #a0a0a0;
  color:          #004000;
  border-top:     2px solid #404040;
  border-bottom:  2px solid #404040;
  border-left:    2px solid #404040;
  border-right:   2px solid #404040;
}

H3 {
  font-size: small;
  font-style: normal;
  font-weight: bold;
  padding: 2px;
  background:     #a0a0a0;
  color:          #004000;
  border-top:     2px solid #404040;
  border-bottom:  2px solid #404040;
  border-left:    2px solid #404040;
  border-right:   2px solid #404040;
}

H4 {
  font-size: smaller;
  font-style: normal;
  font-weight: bold;
  padding: 2px;
  background:     #a0a0a0;
  color:          #004000;
  border-top:     1px solid #404040;
  border-bottom:  1px solid #404040;
  border-left:    1px solid #404040;
  border-right:   1px solid #404040ssss;
}

/*
  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;
  color: red;
}

.ornamentative {
  font-family: cursive;
}