preface
.html
.html
.html
html, body {
margin: 0;
padding: 0;
height: 100%;
font-size: 100.01%;
font-family: arial,verdana,sans-serif;
color: #000000;
}
a { text-decoration: none; }
a:link, a:hover, a:visited { color: #1a1184; }
a.navbar, a.navbar:link, a.navbar:hover,
a.navbar:visited { color: #ffffff; }
h1 { font-size: x-large; clear: both; margin-top: 2ex; margin-bottom: 1ex;}
h2 { font-size: large; clear: both; margin-top: 2ex; margin-bottom: 1ex;}
h3 { font-size: medium; clear: both; margin-top: 2ex; margin-bottom: 1ex;}
h4 { font-size: medium; clear: both; margin-top: 1.5ex; margin-bottom: 1ex;}
span.p { font-weight: bold; padding-right: 1.5ex; }
tr.navbar-headings { color: #000000; }
tr.navbar-links { color: #ffffff; background-color: #5577aa; }
p { margin-top: 1ex; margin-bottom: 1ex;}
td.margin {
width: 180px;
background-color: #eeeeee;
border-left: 1px dashed black;
vertical-align: top;
}
hr.footnote {
width: 40%;
margin-left: 0px;
color: black;
background-color: black;
height: 1px;
border: 0px;
text-align: left;
}
sup.footnote {
font-weight: normal;
font-style: normal;
text-decoration: none;
}
div.footnote { font-size: x-small; }
pre.listing {
font-family: "courier new", courier, fixed;
font-size: small;
margin: 1px;
}
pre.verbatim {
font-family: "courier new", courier, fixed;
}
.block-element {
margin-top: 1ex;
margin-bottom: 1ex;
}
