/* style.css - deliberately simple CSS 1 style rules.
   Layout is done with an HTML table (see default.html) because older
   browsers handle tables far better than floats or flexbox. */

body {
  background-color: #ffffff;
  color: #000000;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12pt;
  margin: 0;
}

a:link    { color: #0044aa; }
a:visited { color: #663399; }
a:hover   { color: #cc3300; }

/* Title bar */
.titlebar {
  background-color: #0055aa;
  color: #ffffff;
  padding: 8px;
}
.titlebar h1 {
  font-size: 20pt;
  margin: 0;
}
.titlebar p {
  margin: 0;
  font-size: 10pt;
}

/* Sidebar */
.sidebar {
  background-color: #dde3ea;
  padding: 8px;
  font-size: 10pt;
}
.sidebar h3 {
  font-size: 11pt;
  margin-top: 0;
  margin-bottom: 4px;
}
.sidebar ul {
  margin-top: 0;
  padding-left: 16px;
}

/* Content panel */
.content {
  background-color: #ffffff;
  padding: 12px;
}
.content h2 {
  color: #0055aa;
  font-size: 15pt;
  border-bottom: 1px solid #0055aa;
}
.content h3 {
  font-size: 12pt;
}

pre, tt, code {
  font-family: Courier, monospace;
  font-size: 10pt;
}
pre {
  background-color: #f2f2f2;
  border: 1px solid #999999;
  padding: 6px;
}

.note {
  background-color: #ffffcc;
  border: 1px solid #cc9900;
  padding: 6px;
}

.footer {
  background-color: #dde3ea;
  font-size: 9pt;
  padding: 6px;
  text-align: center;
}

/* Highlights text I still need to fill in or check */
.todo {
  background-color: #ffff99;
}