/* Typography */
p, td, th, li, h1, h2, h3, h4 { font-family: arial,helvetica,sans-serif; font-size: 12px; }
h1 { font-size: 25px; }
h2 { font-size: 20px; }
h3 { font-size: 15px; }
h4 { font-size: 10px; }
h1 samp, h2 samp, h3 samp, h4 samp { font-family: arial,helvetica,sans-serif; font-size:75%; }

/* TOC */
#toc { float: right; width: 260px; padding: 5px; background: #F9F9F9; border: 1px solid gray; }
#toc a { font-family: arial,helvetica,sans-serif; display: block; color: #BB0000; text-decoration: none; font-weight: bold; font-size: 12px; line-height: 18px;}
#toc a:hover { text-decoration: underline;}
#toc a samp { font-family: arial,helvetica,sans-serif; font-size:75%; display: none; }
#toc .toc-h2 { }
#toc .toc-h3 { padding-left: 20px; }


/* Styles */
body { margin: 15px; padding: 0px; }
h1, h2, h3, h4 { border-bottom: 1px solid gray; color: #BB0000; }
h2, h3, h4 { margin-top: 30px;}
h1 samp, h2 samp, h3 samp, h4 samp { color: #555577;}
pre {
  background: #F4F9FF;
  border: 1px solid gray;
  padding: 4px;
  font-size: 10pt;
}
table {
  border: 1px solid gray;
  border-collapse: collapse;
}
table td, table th {
  border: 1px solid gray;
  padding: 7px;
}
table th {
  background: #FFFFCC;
}