/* One small stylesheet. No scripts, no frameworks. */

body {
  background: #ffffff;
  color: #000000;
  font-family: "Times New Roman", Times, serif;
  font-size: 17px;
  line-height: 1.45;
  margin: 2em auto;
  padding: 0 1em;
  max-width: 40em;
}

a:link    { color: #0000ee; }
a:visited { color: #551a8b; }

img { border: 0; max-width: 100%; height: auto; }

h1 { font-size: 1.7em; font-weight: normal; margin: 0 0 0.2em 0; }
h2 { font-size: 1.25em; font-weight: bold; margin: 1.6em 0 0.3em 0; }
h3 { font-size: 1.05em; font-weight: bold; margin: 1.2em 0 0.2em 0; }

hr { border: 0; border-top: 1px solid #999999; margin: 1.2em 0; }

p { margin: 0.6em 0; }

ul { margin: 0.4em 0; padding-left: 1.5em; }
li { margin-bottom: 0.2em; }

dl { margin: 0.6em 0; }
dt { font-weight: bold; margin-top: 0.7em; }
dd { margin: 0.1em 0 0 1.5em; }

.nav, .footer {
  font-size: 0.85em;
  color: #555555;
}

.panel { margin: 1em 0; }
.panel img { border: 1px solid #999999; }

.caption { font-size: 0.8em; color: #555555; }

.todo {
  font-family: Courier, monospace;
  font-size: 0.8em;
  color: #666666;
  border-left: 3px solid #cccccc;
  padding-left: 0.8em;
}

code, pre, tt { font-family: Courier, monospace; font-size: 0.85em; }
pre {
  border-left: 3px solid #cccccc;
  padding-left: 0.8em;
  overflow-x: auto;
}

table { border-collapse: collapse; font-size: 0.9em; }
th, td { text-align: left; padding: 0.2em 1.4em 0.2em 0; vertical-align: top; }
th { font-weight: bold; }