/*
=======================
CSS for display of
reference documentation
generated from ODD files
=======================
*/

   
div.specgrp {
   padding: 2pt;
   margin: 1em;
   border-style: solid;
   border-color: red;
   border-width: 1pt;
}

/* reference tables */
td.attDef {
   font-family: monospace;
   font-weight: bold;
   vertical-align: top
}
td.elementSpec {
   font-family: monospace;
   font-weight: bold;
   vertical-align: top
}
td.classSpec {
   font-family: monospace;
   font-weight: bold;
   vertical-align: top
}
td.macroSpec {
   font-family: monospace;
   font-weight: bold;
   vertical-align: top
}
td.Attribute {
   font-weight: bold;
}
table.wovenodd td, p.wovenodd {
   background-color: white
}
div.schemaFragment {
      border: 1pt solid #000000;
      margin: 1em;
      }
span.label {
   font-weight: bold;
   color: red;
   }

/* specialized phrase-level encodings.   */
   
span.val {
 font-family: Arial,Helvetica,sans-serif;
}
span.val:before{
 content: '"';
}  
span.val:after{
 content: '"';
}  
span.att{
 font-style: italic;
}  
span.tag{
 font-family: monospace;
}
/*<identtype="a"> is transformedto <spanclass="ident-a">*/

span.ident-pe,span.ident-PE,span.ident-pent {
   font-family: monospace;
   font-size: larger
}
span.ident-pe:before,span.ident-PE:before,span.ident-pent:before {
   content: "%"
}
span.ident-pe:after,span.ident-PE:after,span.ident-pent:after {
   content: ";"
}
   
span.ident-att,   span.ident-attr,span.ident-attrName {
   font-family: monospace;
   font-size: larger
}
span.ident-att:after,span.ident-attr:after,span.ident-attrName:after {
   content: "="
}
   
span.ident-val,span.ident-attrVal {
   font-family: monospace;
   font-size: larger
}
span.ident-val:before,span.ident-val:after,span.ident-attrVal:before,span.ident-attrVal:after {
   content: '"'
}
   
span.ident-class,span.ident-element_class {
   font-family: Arial,Helvetica,sans-serif
}
   
span.ident-datatype {
   font-family: Arial,Helvetica,sans-serif
}
   
span.ident-ent,span.ident-ge {
   font-family: monospace;
   font-size: larger
}
span.ident-ent:before,span.ident-ge:before {
   content: "&"
}
span.ident-ent:after,span.ident-ge:after {
   content: ";"
}
   
span.ident-file {
   font-family: monospace;
   letter-spacing: 1pt
}
   
span.ident-fpi {
   font-family: monospace;
   letter-spacing: -1pt
}
   
span.ident-kw {
   font-family: monospace;
   font-size: larger
}
   
span.ident-entset {
   font-family: monospace
}
   
span.ident-var, span.ident-variable {
   font-family: Arial,Helvetica,sans-serif;
   color: #2F4F4F;
}
span.ident-schemafrag {
	font-family: monospace
}
/* table of contents of elements etc */   

div.oddToc {
 border-bottom-style: solid;
 border-bottom-color: black; 
 border-bottom-width: 2pt;
}
div.oddTocEntry {
  left-margin: 1em;
}