body {
  background-color: #FFFFFF;
  color: black;
  font-family: sans-serif;
  font-weight: normal;
  font-style: normal;
  max-width: 40em;
  margin: 1.5em auto;
  padding: 0;
}

h1, h2, h3, h4, h5, h6 {
  font-weight: normal;
  font-style: italic;
  margin: 1em 0 0.4em;
  border-bottom: 1px solid black;
}

/* h1...h4 are probably enough in most situations */
h1 { font-size: 150%; }
h2 { font-size: 130%; }
h3 { font-size: 115%; }
h4 { font-size: 100%; }
h5 { font-size: 100%; }
h6 { font-size: 100%; }

/*********************
 * Paragraph/list indentation and spacing
 */

p {
  margin: auto;
  padding: 0;
  max-width: 35em;
}

p, li {
  line-height: 1.3em;
}

ul, ol, dl {
  margin: auto;
  padding: 0;
  max-width: 35em;
}

li ul, li ol, li dl {
  margin: 0;
}

/* some space between paragraphs and lists */
p + ul, p + ol, p + dl, ul + p, ol + p, dl + p, p + p {
  margin-top: 1em;
}

/* indent list items, outermost level more than nested li's */
li {
  padding: 0;
  margin: 0 0 0 2.5em;
}

li li {
  margin: 0 0 0 1.5em;
}

/* some space between list items: */
li + li {
  margin-top: 0.2em;
}

/* more generously for definition lists: */
dd + dt {
  margin-top: 0.3em;
}


/*********************
 * Tables
 */

table {
  border-collapse: collapse;
  padding: 0;
  margin: 1.2em auto 2.0em;
}

th, td {
  padding: 0.4em;
  margin: 0;
}

th {
  text-align: center;
}

td {
  text-align: left;
  vertical-align: top;
  border: 1px solid black;
}


/*********************
 * Miscellaneous
 */

code, kdb {
  font-family: monospace;
}

strong {
  font-weight: bold;
}

em {
  font-style: italic;
}

img {
  margin: 0.7em;
}

a:link {
  color: #006600;
}

a:visited {
  color: #660066;
}

.invisible {
  display: none;
}

.name {
  font-weight: 700;
}