body {
   font-size: 100%;
   padding-left: 10px;
   padding-right: 10px;
}

h1 {
   font-family: "Helvetica Neue", "Helvetica", "Arial", "sans-serif";
   font-size: 1.5em;
   font-weight: bold;
}

h2 {
   font-family: "Times New Roman", "Times", "serif";
   font-size: 1.4em;
   font-weight: bold;
   margin-bottom: 0px;
}

li {
   text-align: justify;
}

p {
   text-align: justify;
   line-height: 125%;
}

pre, code, .code {
   font-family: "Courier New", "Courier", "monospace";
   font-weight: bold;
   font-style: normal;
   font-size: 90%;
}

sup {
   font-size: 60%;
   vertical-align: baseline;
   position: relative;
   top: -0.4em;
}

sub {
   font-size: 60%;
   vertical-align: baseline;
   position: relative;
   top: 0.4em;
}

.title {
   text-align: center;
   font-family: "Times New Roman", "Times", "serif";
   font-size: 1.5em;
   font-weight: bold;
   width: 100%;
   margin-bottom: 8px;
}

.bannerText {
   font-family: "Helvetica Neue", "Helvetica", "Arial", "sans-serif";
   font-size: 1.6em;
   font-weight: bold;
}

.caption {
   font-family: "Helvetica Neue", "Helvetica", "Arial", "sans-serif";
   font-weight: bold;
   font-size: 90%;
   width: 720px;
   margin-left: auto;
   margin-right: auto;
   margin-bottom: 2px;
}

.cc {
   margin-left: 0.5in;
}

.centeredImage {
   text-align: center;
}

.comment {
   color: blue;
}

.detailCode {
   padding: 0px;
}

.detailHTML {
   font-family: "Times New Roman", "Times", "serif";
   font-size: 1em;
   margin-left: 20px;
}

.figure {
   background-color: #EEEEEE;
   width: 720px;
   margin-left: auto;
   margin-right: auto;
}

.fnDivider {
   border: 0;
   background-color: #EEEEEE;
   font-family: "Helvetica Neue", "Helvetica", "Arial", "sans-serif";
   font-weight: bold;
   font-size: 90%;
   padding-left: 4px;
   padding-right: 4px;
   padding-top: 5px;
   padding-bottom: 3px;
}

.fnTable {
   border: 1px solid black;
   padding-left: 4px;
   padding-right: 4px;
   padding-top: 3px;
   padding-bottom: 3px;
}

.header {
   font-size: 125%;
}

.include {
   font-family: "Courier New", "Courier", "monospace";
   font-weight: bold;
   font-size: 100%;
}

.index {
   border-collapse: collapse;
   margin-top: 1px;
}

.indexHead {
   font-family: "Times New Roman", "Times", "serif";
   font-size: 1.4em;
   font-weight: bold;
   padding-top: 1em;
}

.indexKey {
   border: 1px solid black;
   padding: 3px 5px;
   font-family: "Courier New", "Courier", "monospace";
   font-weight: bold;
   font-size: 90%;
   vertical-align: top;
}

.indexSynopsis {
   border: 1px solid black;
   padding: 3px 5px;
   vertical-align: top;
}

.inset {
   margin-left: 36px;
}

.it {
   font-family: "Times New Roman", "Times", "serif";
   font-weight: normal;
   font-style: italic;
   font-size: 90%;
}

.banner {
   border: 0;
}

.note {
   font-family: "Times New Roman", "Times", "serif";
   font-weight: normal;
   font-style: italic;
}

.program {
   padding: 10px;
}

.sansserif {
   font-family: "Helvetica Neue", "Helvetica", "Arial", "sans-serif";
}

.sectionHead {
   text-align: center;
   font-family: "Times New Roman", "Times", "serif";
   font-size: 1.5em;
   font-weight: bold;
   width: 100%;
   margin-top: 36px;
   margin-bottom: 8px;
}

.epigraph {
   text-align: center;
   font-family: "Times New Roman", "Times", "serif";
   font-size: 1em;
   font-style: italic;
   width: 100%;
}

.citation {
   text-align: right;
   font-family: "Times New Roman", "Times", "serif";
   font-size: 1em;
   width: 80%;
}

.usageTag {
   font-family: "Courier New", "Courier", "monospace";
   font-weight: bold;
   font-size: 100%;
}

.footnote {
   text-align: justify;
   font-family: "Times New Roman", "Times", "serif";
   font-size: 0.9em;
   margin: 2pt;
   background-color: #FFFF99;
}

.footref {
   color: blue;
   font-size: 0.8em;
   text-decoration: underline;
}

.footmark {
   font-size: 0.8em;
}

.trailer {
   text-align: justify;
   font-family: "Times New Roman", "Times", "serif";
   font-style: italic;
   font-size: 0.8em;
}