BODY { color: #000000; background: white none; text-decoration: none; font-family: sans-serif; font-style: normal; font-size: 10pt; } P { margin: 0 0 0 0; /* top right bottom left */ } /* * -------------------------------------------------------- * Navigation * -------------------------------------------------------- */ table.topNav { width: 100% border: 0 padding: 2mm 0 2mm 1mm; background: silver none; font-style: normal; font-size: small; } table.topNav tr td.title { text-align: right; font-weight: bold; font-style: italic; font-size: medium; color: #FFFFFF; padding: 1mm 1mm 1mm 1mm; } table.botNav { border-top: 2 ridge blue; width: 80% border: 0 padding: 0 0 0 0; margin: 10mm 0 0 0; /* top right bottom left */ } table.botNav tr td.index { text-align: center; } table.botNav tr td.xhtml { text-align: right; } table.botNav tr td.sponsor { text-align: right; } table.botNav tr td.copyright { text-align: center; font-style: italic; font-size: small; } table.biblio { margin: 0 0 5mm 0; } table.biblio tr td.key { padding: 0 10px 0 0; text-align: right; font-weight: bold; font-family: monospace; font-size: 9pt; width: 10% } /* * -------------------------------------------------------- * Headers * -------------------------------------------------------- */ H1 { text-align: center; color: #993300; padding: 0 0 0 0; } H1 span.subtitle { color: #993300; font-style: italic; font-weight: normal; font-size: smaller; } H2 { color: #993300; margin: 5px 0 3px 0; /* top right bottom left */ padding: 2mm 0 0 0; } H2.index, H2.fulllist { border-top: 2 ridge blue; font-size: large; font-style: italic; margin: 0 0 0 0; /* top right bottom left */ padding: 2mm 0 0 0; } H3 { color: #993300; margin: 5px 0 2px 0; /* top right bottom left */ padding: 2mm 0 0 0; } H4 { color: #993300; margin: 5px 0 2px 0; /* top right bottom left */ padding: 0 0 0 0; } ol { margin: 5px 0 0 10mm; /* top right bottom left */ padding: 0 0 0 0; } ol li { margin: 5px 0 0 0; /* top right bottom left */ padding: 0 0 0 0; } ul { margin: 5px 0 0 10mm; /* top right bottom left */ padding: 0 0 0 0; } ul li { margin: 5px 0 0 0; /* top right bottom left */ padding: 0 0 0 0; } p { margin: 5px 0 0 0; /* top right bottom left */ padding: 0 0 0 0; } /* * -------------------------------------------------------- * Blocks * -------------------------------------------------------- */ div.h1 { margin: 0 0 0 0; /* top right bottom left */ } div.h2 { margin: 0 0 5mm 5mm; /* top right bottom left */ } div.h3 { margin: 0 0 0 0; /* top right bottom left */ } div.h4 { margin: 0 0 0 2mm; /* top right bottom left */ } table.deflist { margin: 0 0 0 5mm; padding: 0 0 0 0; width: 100%; } table.deflist tbody tr { margin: 0 0 0 0; /* top right bottom left */ padding: 0 0 0 0; } table.deflist tbody tr td.term { margin: 0 0 0 0; /* top right bottom left */ padding: 0 3mm 0 0; width: 15mm; } table.deflist tbody tr td.def { margin: 0 0 0 0; /* top right bottom left */ padding: 0 0 0 0; } table.images { margin: 0 0 0 0; /* top right bottom left */ } table.images tbody tr td.spare { width: 100%; } table.images tbody tr.image td { padding: 2mm 2mm 2mm 2mm; } table.images tbody tr.title { text-align: center; font-family: monospace; } div.prototype { margin: 2mm 0 2mm 0; /* top right bottom left */ font-family: monospace; font-weight: bold; font-size: 10pt; } div.example { background: #ffff99; padding: 2mm 3mm 2mm 3mm; margin: 0 0 1mm 0; /* top right bottom left */ font-size: 9pt; } div.example pre.computer { color: red; } div.example pre.user { font-weight: bold; color: black; } div.example pre { margin: 0 0 0 0; /* top right bottom left */ padding: 0 0 0 0; } div.input, div.output { font-family: monospace; font-size: 9pt; } div.eqfig { border-top: 1 ridge #ffff99; border-bottom: 1 ridge #ffff99; border-left: 1 ridge #ffff99; border-right: 1 ridge #ffff99; width: 100%; margin: 2mm 0 2mm 0; padding: 2mm 2mm 2mm 2mm; } div.figure { margin: 2mm 0 2mm 0; padding: 2mm 2mm 2mm 2mm; } div.bridge { font-weight: bold; padding: 0 0 0 0; margin: 2mm 0 1mm 0; } pre.listing { background: #ffff99; padding: 2mm 3mm 2mm 3mm; margin: 2mm 3mm 2mm 0; /* top right bottom left */ font-size: 9pt; } span.par { font-family: monospace; font-size: 10pt; font-weight: bold; } span.fun { font-family: monospace; font-size: 10pt; font-weight: bold; } span.type { font-family: monospace; font-weight: normal; } /* * -------------------------------------------------------- * Links * -------------------------------------------------------- */ A:link { color: blue; text-decoration: underline; } A:visited { color: purple; text-decoration: underline; } A:active { color: red; text-decoration: underline; } /* * -------------------------------------------------------- * Without class * -------------------------------------------------------- */ table { margin: 0 0 0 0; /* top right bottom left */ padding: 0 0 0 0; width: 100%; } table tr { margin: 0 0 0 0; /* top right bottom left */ padding: 0 0 0 0; } table tr td { margin: 0 0 0 0; /* top right bottom left */ padding: 0 0 0 0; } dl dd { margin: 0 0 0 5mm; /* top right bottom left */ }