/* vim:set et ts=2 sw=2: */
body {
  font-family: sans-serif;
  font-size: 11pt;
}

nav ul {
  float: right;
}
nav li {
  list-style: none;
  display: inline-block;
  min-width: 4em;
  padding: .33ex .33em;
  margin: 0 1pt;
  border: 1pt solid;
  border-radius: 2em;
  text-align: center;
}
nav li a {
  text-decoration: none;
}

main {
  margin: auto;
  padding: 1em;
}

h1 {
  text-align: center;
  letter-spacing: 1pt;
}
h3, h4, h5 {
  font-weight: 400;
}

article ol {
  counter-reset: term-counter;
}
article ol > li {
  list-style: none;
  position: relative;
}
article ol > li:before {
  content: "(" counter(term-counter) ")";
  counter-increment: term-counter;
  position: absolute;
  left: -1.6em;
}

dt {
  float: left;
  clear: left;
  font-weight: 500;
}
dd {
  margin-left: 7.5em;
}

table {
  border-collapse: collapse;
}
th, td {
  border-width: 1px;
  border-style: solid dotted;
  padding: .5ex .5em;
  text-align: left;
  vertical-align: top;
}
thead th {
  border-style: solid;
  background: lightGray;
  text-align: center;
  font-weight: 600;
}

tt {
  font-family: monospace;
}