/*
 * Style sheet for SVG specification
 */


.term {
   font-weight: bold;
   color: #aa3333;
   background-color: white;
}

pre { 
    margin-left: 2em;
    color: #A52A2A;
    background-color: white;
    font-family: monospace;
    font-size: 90%
}

pre.schema { 
    margin-left: 2em;
    margin-right: 3em;
    padding: 0.5em;
    color: maroon;
    background: #ddddff;
    border: 1px solid black;
    font-family: monospace;
    font-size: 90%
}

pre.example { 
    margin-left: 2em;
    margin-right: 3em;
    padding: 0.5em;
    color: #A52A2A;
    background: #ddffdd;
    border: 1px solid black;
    font-family: monospace;
    font-size: 90%
}

.dtd-fragment { 
    color: black;
    background-color: #dddddd;
    margin-left: 0;
    border: 1px solid black;
}

.idl-code { 
    margin: 0;
    font-family: monospace;
    border: 1px solid black;
    white-space: pre;
    color: black; 
    background-color: #dfdfdf;
}

.adef {
    font-family: monospace;
	font-weight: bold;
}


img {
    border: 0;
}

.toc {
    text-indent: 0;
}

.toc2 {
    text-indent: 2em;
}

.toc3 {
    text-indent: 4em;
}

P.toc-line {
    margin-top: 1em;
    margin-bottom: 1em;
    text-indent: 0;
}


.example {
    color: maroon;
    background-color: white;
}

.pseudocode {
    color: #990000;
    background-color: #ccccff;
    border: 1px solid black;
}

.algorithm ol {
  list-style: decimal;
} 

.algorithm ol li {
  margin-top: 0.25em;
  margin-bottom: 0.25em;
} 

.algorithm ol li ol {
  list-style: lower-alpha;
} 

.algorithm ol li ol li {
  margin-top: 0.25em;
  margin-bottom: 0.25em;
} 

.algorithm ol li ol li ol {
  list-style: lower-roman;
} 

.algorithm ol li ol li ol li{
  margin-top: 0.25em;
  margin-bottom: 0.25em;
} 

.note {
    font-weight: bold;
    margin: 1em;
    color: black;
    background: #aaffaa;
    border: 1px solid black;
    padding: 0.3em;
}

p.caption, caption {
    text-align: center;
    font-style: italic;
    font-weight: bold;
    font-size: 90%;
    color: #088;
    background-color: white;
    margin: 1.5em 25% 0 25%;
}

.element {
    color: #A52A2A;
    background-color: white;
    font-weight: bold;
    font-size: 90%
}

.type {
    font-weight: bold;
    font-size: 90%
}

.attribute {
    background-color: white;
    color: #2A2AA5;
    font-weight: bold;
    font-size: 90%
}

.property {
    color: black;
    background-color: white;
    font-weight: bold;
    font-size: 90%
}

.attribute-value, .property-value {
    font-weight: bold;
    font-size: 90%
}


.interface {
    font-weight: bold
}

.dom-attribute {
    color: black;
    background-color: #FFFFD2;
}

.dom-attribute-type, .dom-attribute-value {
    color: black;
    background-color: white;
    font-weight: bold;
}

.dom-method {
    color: black;
    background-color: #D9E6F8;
}

.dom-parameter {
    background-color: #FEE6F8; 
    color: black;
}

