.ednote {
 font-style : italic;
 font-size : 80%;
}
ul.toc {
 list-style : none
}
.new {
 color : #0000ff;
}
pre.example {
 white-space : pre;
 font-family : monospace;
 color : #008000;
 font-weight : bold;
 margin-right : 0;
 margin-left : 0;
}
pre.dtd {
 white-space : pre;
 font-family : monospace;
 font-weight : normal;
 margin-right : 0;
 margin-left : 0;
}
div.toc, div.subtoc {
 background-color : #ccccff;
 border : none;
 margin-right : 5%;
}
code {
 font-family : monospace;
 font-weight : bold;
 color : #660099;
}
a.ref {
 font-weight : bold;
}
a.normref {
 font-weight : bold;
}
div.navbar {
 text-align : center;
}
.center {
 text-align : center;
}
.alphalist {
 list-style-type : upper-alpha;
}
.codelist {
}
dl.codelist dt {
 font-family : mono;
 color : #660099;
 font-style : normal;
 font-weight : normal;
}
.termlist {
}
dl.termlist dt {
 color : #330000;
 font-weight : bold;
}
span.entity {
 color : #ff0000;
}
span.element {
 color : #008000;
}
.elements {
 font-family : mono;
 color : #008000;
 font-weight : bold;
}
.attributes {
 font-family : mono;
 color : #ff0000;
 font-weight : bold;
}
.content {
 font-family : mono;
 color : #0000ff;
 font-weight : bold;
}
.dfn {
 color : #400040;
 font-weight : bold;
 font-style : italic;
}
tt {
 color : #4000af;
}
dl.desc {
 margin-left : 5%;
 margin-right : 5%;
}
.sect2 {
 margin-left : 5%;
 margin-right : 5%;
}
.element {
 font-weight : bold ;
 color : #f00000;
}
.attlist {
 font-weight : bold;
 color : #f06000;
}
.pentity {
 color : #000080;
}
span.attlistid {
 vertical-align : super;
 font-size : smaller;
 color : #808080;
}
span.elementid {
 vertical-align : super;
 font-size : 80%;
 color : #808080;
}
span.fixme {
 color : #ff0000;
}
table.module\_def {
 border : solid #ff0000;
}
img {
 color : #ffffff;
 border : none;
}
div.trans {
 background : #eeeeee url('background.png');
 color : #000000;
 border-bottom-width : 3px;
 border-top-width : 1px;
 border-left-width : 1px;
 border-right-width : 2px;
 border-color : #000000;
 border-style : solid;
 padding : 1em;
}
div.trans h1, div.trans h2 {
 background : transparent !important;
}
hr.hide {
 display : none;
}