body {
    margin-left: 50px;
    margin-top: 30px;
    margin-bottom: 40px;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: small;
}

h1 {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 100%;
    color: #000000;
    margin-top: 20px;
    margin-bottom: 20px;
}


h5 {
    margin-top:30px;
    margin-bottom: 10px;
}

h5.listheader {
    margin-top:20px;
    margin-bottom: 10px;
}


p {
   margin-left: 10px;
   margin-top: 5px;
   margin-bottom: 10px;   
  }  

p.list {
   color: #999999;
   font-size: 10px;
   margin-left: 0px;
   margin-top: 5px;
   margin-bottom: 5px;   
  }  


a:link {
    color: #000099;
    text-decoration: none;
}

a:visited {
    color: #B037A7;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

p.gray {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    font-weight: bold;
    margin-bottom: 0px;
    margin-left: 0px;
    color: #999999;
}

span.gray {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    font-weight: bold;
    color: #999999;
}

a.gray:link {
    text-decoration: none;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    font-weight: bold;
    color: #999999;
}

a.gray:visited {
    text-decoration: none;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    font-weight: bold;
    color: #999999;
}

a.gray:hover {
    text-decoration: underline;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    font-weight: bold;
    color: #999999;
}

a.path:link {
    text-decoration: underline;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: normal;
    color: #000099;
}

a.path:visited {
    text-decoration: underline;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: normal;
    color: #000099;
}

a.path:hover {
    text-decoration: underline;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: normal;
    color: #000099;
}

p.path {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: normal;
    color: #000000;
    margin-top: 0px;
    margin-left: 0px;
    margin-bottom: 5px;
}

ul {
    list-style-type: disc;
}

li {
    color: #333333;
    margin-bottom: 5px;
   }

pre {
  font-family: "Courier New", Courier, monospace;
  font-size: 9pt;
  margin-top: 0px;
  margin-left: 10px;
  margin-bottom: 10px;
}

table {
 margin-left: 10px;
}

.table {
  margin-left: 30px;
}

.table td {
 vertical-align: top;
 border: 1px solid #cccccc;
}

.head td {
 border: 0px solid #CCCCCC;
}

table.head { 
 margin: 0;
}

.td_top_r {
 vertical-align: top;
 text-align: right;
}

.td_top_l {
 vertical-align: top;
 text-align: left;
}

.td_bottom_r {
 vertical-align: bottom;
 text-align: right;
}

.td_bottom_l {
 vertical-align: bottom;
 text-align: left;
}

.tablelist {
  margin-left: 30px;
}

.tablelist td {
  padding-left: 10px;
  padding-bottom: 5px;
  border: none;
  /*
  border-bottom-style: solid;
  border-bottom-width: 1px;
  border-bottom-color: #d0d0d0;
  */
  vertical-align: middle;
  padding-top: 5px;
}

td.tablelist-td-last {
  padding-bottom: 5px;
  border-bottom-style: none;
  vertical-align: middle;
  padding-top: 5px;
}

td.tablelist-td-nounderline {
  padding-left: 10px;
  padding-bottom: 5px;
  border-bottom-style: none;
  vertical-align: middle;
  padding-top: 5px;
}

td.tablelist-td-listheader {
  padding-left: 0px;
}

p.copyright {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    color: #999999;
    margin: 0px;
}

span.copyright {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    color: #999999;
    font-weight: normal;
}

a.copyright:link {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    font-weight: bold;
    color: #999999;
    text-decoration: none;
}

a.copyright:visited {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    font-weight: bold;
    color: #999999;
    text-decoration: none;
}

a.copyright:hover {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
    font-weight: bold;
    color: #999999;
    text-decoration: underline;
}

.nomark {
 margin-top: 0px;
 list-style-type: none;
}

p.group {
 margin-top: 20px;
 color: #333333;
}

span.keyword {
 color: red;
 font-weight: bold;
}

table { 
 border-collapse:collapse;
}

td {
 border: 1px solid #CCCCCC;
}

.bookindex tr td {
 border: none;
 padding-bottom: 10px;
}