body {margin-bottom:2em}
img {margin:8 0 20}
h2 {margin-top: 17; font-family:Arial; font-size:150%; text-align:center; color: #66ff00}
h2.spec {margin-bottom: 0;}
h3 {margin-top: 17; font-family:Arial; font-size:120%; text-align:center; color: #66ff00; margin: 1.5em 0 1em}
p {text-indent: 1.5em; margin:0.5em 0pt; font-size: medium; text-align:justify;}
p:first-letter {font-size: 120%; color: #ff0066;}
p.plain {text-indent: 0;}
p.index {text-indent: 0; margin:4px 10px; text-align:left; font-weight:normal; color:black}
p.index:first-letter {font-size: medium}
p.prelist {margin-bottom: 0;}
p.version {text-indent:0; margin:0 0 1em; text-align:center}
p.version:first-letter {color:black; font-size:medium;}
p.progname:first-letter {color:black; font-size:medium;}
p.progname {font-size:medium; padding:0 0 0 0.4em; margin:1em 0 0}
pre.prog {margin-top:0.2em}
ul {font-size:medium; text-align:justify; margin: 0 0 0 3em; padding: 0}
ol {font-size:medium; text-align:justify;}
sup {font-size: smaller;}
sub {font-size: smaller;}
a {border:none; color: #0000ff; text-decoration: none; font-weight:normal;}
pre {margin:0; padding-left:2.5em; color: #ff0066; font-size:normal}
span.inline-code {color: #ff0066; font-family: monospace}
span.index {color: #ff0066}
span.subindex {color: #ff0066; padding-left: 1.1em;}
table.sample {border-style:solid; border-width:1; border-collapse: collapse;}
table.sample td {border-style:solid; border-width:1; width: 5em; text-align: center; padding: 0.3em;}
.mode2 {background-color: #ffff00;}
.mode3 {background-color: #99ff00;}
.comment {color: black; margin:0;}
.copyright {text-align:center; font-size:medium; margin-top:6}
.mail {font-size:medium; margin-top: 2em}