body {
margin-top:5px;
font-family:Arial,Helvetica,sans-serif;
background-color:#484848;
color:#fff;
}

table,tr,td,th,ul,li,h1,h2,h3,h4,h5,h6,div,small,p {
font-family: Arial, Helvetica, sans-serif;
color:#fff;
}

a:link {color:#ffa500}
a:visited {color:#ff7000}
a:hover {color:#ffd000}
a:active {color:yellow}
a:focus {color:yellow}

#nav {color:silver;font-size:0.85em}

h2,h3 {margin-left:6%;
font-style:italic;
font-size:1.3em;
}
h1,#az {
font-size:1.5em;
text-align:center;
font-weight:bold;
padding:10px;
margin-left:3%;
margin-right:3%;
background-color:#404040;
border-style:groove;
border-width:1px;
border-color:white;
}

/*disclaimer*/
.disc {
background-color:#606060;
border:none;
padding:10px;
line-height:0.9em;
}

h6 {margin:0}

/*index:detail+sig*/
h5 {font-weight:500}

/*sig*/
#sig {
font-size:0.7em;
margin:0;
padding:0;
}

#sig a:link,#sig a:visited,h6 a:link,h6 a:visited {color:white}
#sig a:hover,h6 a:hover {color:#ffd000}
#sig a:active,#sig a:focus,h6 a:active,h6 a:focus {color:yellow}

ul {margin-bottom:0}

.lh13 {line-height:1.3em}
.lh20 {line-height:2em}
.rand {margin-left:10%;margin-right:7%}
.bug {color:#fda}
.see {line-height:1.5em;margin-top:0}
.lispc li {padding-bottom:1.5em}

#varlist {
margin-left:16%;
margin-right:14%;
line-height:1.8em}

#jazzlist {
margin-left:12%;
margin-right:12%;
line-height:1.4em;
}
#standard {line-height:1.8em}
#rb {margin-top:5em;font-size:0.9em}
#rb li {line-height:1.5em}
#rb ul {margin-left:3em}

p,pre,h4 {margin-left:12%;color:#fff}
p {margin-right:12%;line-height:1.3em}

/*auswendig*/
#s14 {font-size:12px;font-style:normal}

#feedb {background-color:#606060;border-style:solid;
border-color:gray;border-width:1px;}