img { border: 0px; display: block; }
img.inline { display: inline; }

h1,h2 { clear: both; }
h3 { clear: left; }

body { margin-top: 5ex; }
.center { text-align: center; }
.centered { margin-left: auto; margin-right: auto; }
.left { text-align: left; }
.mono { font-family: monospace; }
.command { font-family: monospace; background-color: #0ff; }
p.command { margin: 1em; padding: 1em; }
pre.command { margin: 1em; padding: 1em; }
.file { font-family: monospace; }
.notice { background-color: #ffc; font-style: italic; padding: 2ex;
          border: 2px dashed #cc0; }
.floatr { float: right; margin-left: 3ex; margin-bottom: 2em; }
.floatl { float: left; margin-right: 3ex; margin-bottom: 2em; }
.codebox { border: 2px #ccc inset; background-color: #9ff; padding: 1em; }
.nomargin { margin: 0px; }
.title { font-weight: bold; font-style: italic; }
.maxw { max-width: 40em; }
.justp p { text-align: justify; }

table.simple { border-collapse: collapse; }
table.simple td,table.simple th { border: 1px solid black; padding: 1ex 1em; }
td { vertical-align: top; }

dt { font-weight: bold; }
dd { margin: 0ex 1em 1ex 3em; }
dl.args>dt { float: left; clear: left;
             width: 10em; padding: 0.5ex 0em 0ex; margin: 0px;
             text-align: right; }
dl.args>dd { margin: 0 0 0 10em; padding: 0.5ex 0.5em; }

#nav1 { background-color: #339; color: #fff; height: 4ex; z-index: 1;
        position: absolute; left: 0px; right: 0px; top: 0px; width: 100%; }
#nav1 td { white-space: nowrap; padding: 2px; }
#nav1 .current { width: 100%; font-weight: bold; }
#nav1 a { color: #ff6; text-decoration: none; }
#nav1 a:visited { color: #6ff; }

#toc { margin: 3ex 5em; padding: 2ex 2em;
       border: 2px outset #309; background-color: #ccf; }
#toc .toctit { font-size: larger; font-weight: bold; }
#toc p { color: #000; margin: 0px; padding: 0px; }
#toc p a { color: #000; text-decoration: none; }
#toc p a:hover { text-decoration: underline; }

.fullwin { position: absolute; left: 0px; right: 0px; top: 4ex; bottom: 0px; }

q:before { content:open-quote; }
q:after { content:close-quote; }
:lang(de) { quotes:"\201E" "\201C" "\201A" "\2018"; }
:lang(en) { quotes:"\201C" "\201D" "\2018" "\2019"; }