BODY       { color: black; font-weight: 300; line-height: 120%; background-color: #e6e6fa; margin-right: 5%; margin-left: 5% }
span.quote { font-size: 90%; line-height: 110% }
big { font-weight: 400; line-height: 120% }
TD.diff-context { width: 45% }
TD.diff-deletedline { width: 45% }
TD.diff-addedline { width: 45% }
TD { color: black; font-weight: 300; line-height: 130% }
H1,H2,H3  { color: black; font-size: 150%; line-height: 140%; font-weight: 700 }
H4  { color: black; font-size: 120%; font-weight: 600 }
H5 {
	    font-size: 120%;
        font-weight: 600;
        color: black;
}
span.links {
	    font-size: 80%;
        font-weight: 600;
}
span.motto {
	    font-size: 90%;
        font-weight: 300;
        line-height: 110%;
}
span.toctitle {
	font-family: Helvetica, Univers, sans-serif;
}
span.toc {
	font-family: Helvetica, Univers, sans-serif;
	font-size: 90%;
}
span.pagebreak {
    page-break-before: always;
}
@media print {
    span.navlinks {
        display: none;
    }
}
a:link {
               color: darkred;
               text-decoration: underline;
}
a:visited, a:active {
               color: firebrick;
               text-decoration: underline;
}
a.toc:link {
               color: darkblue;
               text-decoration: underline;
}
a.toc:visited, a:active {
               color: blue;
               text-decoration: underline;
}
a.tochead:link {
               color: black;
               font-weight: 600;
               text-decoration: none;
}
a.tochead:visited, a:active {
               color: black;
               font-weight: 600;
               text-decoration: none;
}
HR {
               color: lavender;
}

SUB  { font-size: 70% }
SUP  { font-size: 70% }
img.cover {
       padding-left: 0;
       padding-right: 40px;
       padding-top: 0;
       padding-bottom: 40px;
}
pre {
               font-weight: 300;
               color: black;
               line-height: 150%;
}
.smaller {
	font-size: 9pt;
}
.footer {
	text-indent: 0;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	margin-top: 0;
}
TD.caption { font-size: 90%; padding: 10px }