div.note h3.title{margin:0 0.1em;padding:0 0.1em;font-size:100%;font-weight:bold;text-align:left}
div.note h3.p{padding:0 0.1em;margin:0 0.1em}
div.note{background-color:#cce;padding:0 0.2em;border:2px solid #99c;line-height:1.1em}
p{line-height:1.3em}
div.note p{line-height:1.1em}
.abstract{padding:1em;font-style:italic}
h2.title{padding:0.1em 0;margin:0}
h3.subtitle{padding:0.1em 0 0.5em;margin:0}
.simplesect h3.title{border:none}
.simplesect h3.title,.simplesect h2.title{text-align:left;font-size:115%;padding:0.3em 0 0.2em;margin:0}
.simplesect p{padding:0.2em 1em;margin:0}
.stagedir p{padding:0.2em 0;margin:0}
.set dd dl{display:none}