/*
   This style sheet is included in all styles for technical reports.

   Acknowledgments:

   - 'background-color' doesn't work on Mac IE 3, but 'background'
     does (Susan Lesch)

   - 'smaller' leads to illegible text in both Mac IE and Mac NS,
     'small' is better: works in Mac NS, but is always 12pt in Mac IE
     3 (Susan Lesch)

*/

/**
 * CLASS = new
 * Use this class for text that is newly added to the document.  Helps users easily see what
 * has changed since the last time they viewed the document.  All uses of "new" should be
 * removed from the final version.
*/
	
.new {
	color: blue;
}

note {
	color: blue;
}

/**
 * CLASS = header
 *
 * Can be used in the headings for tables.
*/

.header {

	background-color: rgb(255,204,204);
}

/**
 * TAG = pre
 * CLASS = example
 *
 * Use the <pre> tag when you are presenting preformatted text that the browser should
 * not attempt to reformat for display.  The "example" class can be used when presenting
 * sample source code, HTML, or XML.
*/
pre.example {

	border: solid black thin;
	white-space: pre;
   	background-color: rgb(204,204,255);
	font-family: monospace;
	font-size: smaller;
	margin-right: 0;
	margin-left: 0;
}

/**
 * TAG = pre
 * CLASS = dtd
 *
 * Use the <pre> tag when you are presenting preformatted text that the browser should
 * not attempt to reformat for display.  The "syntax" class should be used when showing
 * the syntax of things like XML statements.
*/
pre.syntax {
	border: solid black thin;
	background-color: rgb(255,204,204);
	white-space: pre;
	font-family: monospace;
	font-weight: normal;
	font-size: smaller;
	margin-right: 0;
	margin-left: 0;
}

/**
 * TAG = code
 *
 * Displays text in monospace BOLD format.  
*/
code {
	font-family: monospace;
	font-weight: bold;
	color: #660099;
}


/* Table of contents styles */
div.toc, div.subtoc {
	background-color: #ccccff;
	border: none;
	margin-right: 5%;
}
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;
}
ul.toc { list-style: none }

body {
  margin: 2em 1em 2em 70px;
  font-family: sans-serif;
  color: black;
  background: white;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
}
:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
:active { color: #C00; background: transparent }

th, td { /* ns 4 */
  font-family: sans-serif;
  /*font-size: smaller;*/
}

h1, h2, h3, h4, h5, h6 { text-align: left }
/* background should be transparent, but WebTV has a bug */
h1, h2, h3 { color: #005A9C; background: white }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }

.hide { display: none }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }
div.head img { color: white; border: none } /* remove border from top image */
div.navbar {text-align: center}

p.copyright { font-size: small }
p.copyright small { font-size: small }

@media screen {  /* hide from IE3 */
a:hover { background: #ffa } 
}

pre { margin-left: 2em }
/*
p {
  margin-top: 0.6em;
  margin-bottom: 0.6em;
}
*/
dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt { font-weight: bold }

pre, code { font-family: monospace } /* navigator 4 requires this */

ul.toc {
  list-style: disc;		/* Mac NS has problem with 'none' */
  list-style: none;
}

@media aural {  
  h1, h2, h3 { stress: 20; richness: 90 }
  .hide { speak: none }
  p.copyright { volume: x-soft; speech-rate: x-fast }
  dt { pause-before: 20% }
  pre { speak-punctuation: code } 
}

td.refhead { /* ns 4 */
  font-family: sans-serif;
  /*font-size: smaller;*/
  /*background-color: rgb(255,204,204);*/

}