/* John's default style */
BODY {
  color: black;
  background-color: #f0fff0;
  font-family: sans-serif;
  font-size: small;
  font-style: normal;
  font-weight: normal;
  margin-top: 2em;
  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: 6px;
  background:     #c0f0c0;
  color:          #004000;
  border-top:     2px solid #008000;
  border-bottom:  2px solid #008000;
  border-left:    2px solid #008000;
  border-right:   2px solid #008000;
}

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

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

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

dt {
  /* background:     #d0f0d0; */
  color:          #004000;
  font-weight: bold;
  font-size: small;
}

/*
dd {
  background:     #e0f0e0;
  color:          #004000;
}
*/

th {
  background:     #d0f0d0;
  color:          #004000;
  font-weight: bold;
  font-size: smaller;
}

td.key {
  background:     #d0f0d0;
  color:          #004000;
  font-weight:    bold;
  text-align:     center;
}

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

table.panel {
  font-size: x-small;
}

.warning {
  font-style: italic;
  background:     #e0f0e0;
  color:          red;
  padding:        2px;
  border-top:     2px solid red;
  border-bottom:  2px solid red;
  border-left:    2px solid red;
  border-right:   2px solid red;
}

div.tail {
  font-style: italic;
  background:     #e0f0e0;
  color:          #004000;
  padding:        2px;
  border-top:     2px solid #00c000;
  border-bottom:  2px solid #00c000;
  border-left:    2px solid #00c000;
  border-right:   2px solid #00c000;
}

.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;
}