/* CSS */

html {
  font-family: 'Times New Roman', Times, serif;
  font-size: 16px;
}
pre {
  font-size: 16;
  font-family: 'Courier New', Courier, monospace;
  background-color: #F5F5F5;
  border: 1px solid #ddd;
  padding: 5px;
  margin-left: 10px;
}
pre.code {
  color: #FFFFFF;
  padding: 2px;
  background-color: #000000;
  width: 600;
  padding: 5px;
  margin-left: 10px;
}
table.doc {
  border: 0;
  border-spacing: 2px;
  margin-left: 10px;
}
table.doc th {
  padding: 5px;
  background-color: #DDDDDD;
}
table.doc td {
  padding: 5px;
  background-color: #EEEEEE;
  text-align: center;
}
a.nav {
  text-decoration: none;
  color: #000000;
  background-color: #EEEEEE;
  border: 1px solid #DDDDDD;
  padding: 5;
}
a.nav:hover {
  color: #888888;
  background-color: #FEFEFE;
  border: 1px solid #EDEDED;
}
path {
  display: block;
  margin: 0 0 25 15;
  font-family: Arial;
  font-size: 16px;
  font-style: italic;
}
h1 {
  font-size: 26px;
  font-weight: bold;
  margin: 40 0 40 10;
  background-color: #f5f5f5;
  padding: 5px;
}
h2 {
  font-size: 22px;
  font-weight: bold;
  margin: 50 0 20 10;
}
p {
  text-indent: 10px;
}
p.table_title {
  font-style: italic;
}
ul {
  margin-bottom: 30px;
}
hl {
  background-color: #f88;
  display: inline;
}