pre {
  font-size: 16;
  font-family: Courier New;
  background-color: #F8F8F8;
}
table.mod {
  border-spacing: 4px;
}
table.mod th {
  border: 1px solid #CCCCCC;
  padding: 2px;
  color: #000000;
  background-color: #DDDDDD;
}
table.mod td {
  border: 1px solid #DDDDDD;
  padding: 2px;
  color: #000000;
  background-color: #EEEEEE;
  padding-left: 8px;
  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;
}
a.menu {
  text-decoration: none;
}
a.menu:hover {
  text-decoration: none;
  color: #8888FF;
}
sv {
  background-color: #FF8888;
}

path {
  display: block;
  margin: 0 0 25 15;
  font-family: Arial;
  font-size: 16px;
  font-style: italic;
}