head { display: none }
body, p, h1, h2, h3, h4, h5, h6 { display: block }

body            { padding: 8px; line-height: 1.33 }
h1              { font-size: 2em; margin: .67em 0 }
h2              { font-size: 1.5em; margin: .83em 0 }
h3              { font-size: 1.17em; margin: 1em 0 }
h4, p           { margin: 1.33em 0 }
h5              { font-size: .83em; line-height: 1.17em; margin: 1.67em 0 }
h6              { font-size: .67em; margin: 2.33em 0 }
h1, h2, h3, h4,
h5, h6          { font-weight: bolder }
pre, code,
kbd, samp       { font-family: monospace }

ruby, rbc, rtc, rb, rt { display: inline }
rp               { display: none }
ruby > rt:before { content: "(" }
ruby rtc:before  { content: "(" }
ruby rtc + rtc:before  { content: "; " }
ruby:after       { content: ")" }

.ednote {
	font-style: italic;
	font-size: 80%;
}

UL.toc { list-style: none }
/* Style class for newly added text */
.new {
	color: blue;
}
/* Preformatted examples */
pre.example {
	white-space: pre;
	font-family: monospace;
	color: green;
	font-weight: bold;
	margin-right: 0;
	margin-left: 0;
}
/* Preformatted DTD entry */
pre.dtd {
	white-space: pre;
	font-family: monospace;
	font-weight: normal;
	margin-right: 0;
	margin-left: 0;
}
/* Table of contents styles */
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: red; }
span.element { color: green; }

.elements { 
	font-family: mono; 
	color: green; 
	font-weight: bold; 
}
.attributes { 
	font-family: mono; 
	color: red ; 
	font-weight: bold;
}
.content { 
	font-family: mono; 
	color: blue ; 
	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: gray; }
span.elementid { vertical-align: super; font-size: 80%; color: gray; }
span.fixme { color: red; }

table.module_def {
	border: solid red;
}
.warning {
	color: red;
}
