﻿body {
  margin: 4px;
  padding: 0px;
  font-size: 12pt;
  font-family: sans-serif;
  background-color: white;
  color: black;
}
img {
  padding: 8px 0px 16px;
}
table {
  padding: 8px 0px 8px;
}
li {
  padding: 0px 0px 8px;
  list-style: none;
}
li:before {
  content: '\2726  ';
}
a {
  text-decoration: none;
  color: #000099;
}
h1 {
  margin: 16px 0px 24px;
  padding: 12px 6px 16px;
  color: white;
  background-color: #000099;
  text-align: center;
  font-size: 32pt;
  font-style: italic;
  font-weight: bold;
  text-transform: none;
}
h2 {
  margin: 16px 0px 24px;
  padding: 4px 6px;
  color: white;
  background-color: #000099;
  font-size: 18pt;
  font-style: italic;
  font-weight: bold;
  text-align: left;
}
h3 {
  margin: 0px 0px 0px;
}
h6 {
  margin: 4px 0px 0px;
  padding: 4px 6px;
  color: black;
  background-color: #EEEEEE;
  font-size: 13pt;
  font-weight: normal;
}
address {
  margin: 12px 0px 0px;
  padding: 4px 8px;
  text-align: right;
  background-color: #000099;
  color: white;
  font-weight: bold;
  font-size: 12pt;
  font-style: italic;
}
pre {
  border-style: solid;
  border-width: thin;
  margin: 16px 0px 24px;
  padding: 4px 8px;
  font-family: monospace;
  font-weight: normal;
  font-size: 12pt;
}
.math {
  font-weight: bold;
  font-style: italic;
}
.prog {
  font-weight: bold;
  font-size: 13pt;
}
.func {
  font-weight: bold;
}
.exec {
  font-style: italic;
  font-size: 13pt;
}
