.guideline { font-size: 120%;
             color: black;
             background: #FFFFCC; 
}

.nota {  
             border: 1px solid #000;
             padding-top: 1em;
             padding-bottom: 1em;
             padding-right: 1em;
             padding-left: 1em;
             margin-top: 1em;
				 font-family: Georgia, serif;
				 background: #fffff5;
				 color: #000;
}

.nota .run {
	color: #000;
	text-transform: uppercase;
	font-size: 1.2em;
	display: inline;
	padding: 4px;
	font-family: Georgia, serif;
	background: #ffc;
	border: 1px solid;
}
.nota .inline {
	display: inline;
}

.nota blockquote {font-family: Arial, sans-serif;}



span.navbar { text-align: center }
.priority1 { color: #ff0000; background: white; volume: loud }
span.checkpoint { font-weight: bold; margin-top: .75em }
dt.checkpoint { font-weight: normal }
dl.checkpoints { margin-left: 2em; margin-right: 2em }
.checkpoint-nb {color: maroon; background: white}
.separator { display: none }

dt.glossary { margin-top: .5em; margin-bottom: .5em }
dd.glossary { margin-bottom: 1em }
.quicktest { color: black; background: #B6B0FF }

div.figure {
    text-align: center;
    margin: 2.5em 0
}

p.caption {
    text-align: left;
    font-style: normal;
    font-weight: bold;
    font-size: 90%;
    color: #088;
    margin: .5em 10% 0 10%;
}


.example { border-style: solid; 
           border-width: 1px ; 
           padding: .5em;
           color: #5D0091;
           background: #F9F5DE; 
           border-color: #5D0091; 
           margin-top: .25em;
           margin-bottom: .25em;
}

.deprecated-example { border-style: solid; 
                      border-width: 1px ; 
                      padding: .5em;
                      color: #5D0091;
                      background: #F9F5DE; 
                      border-color: red;
                      width: 75%; 
                      margin-top: .25em;
                      margin-bottom: .25em;
}

.dfn { color: #00513D; 
      
}

.dfn-instance { color: #00513D; 
       
}

.elements { color: black; background: #E7FFFE }
.attributes { color: black; background: #FFFADF }



p.toc-line {
    margin-top: 1em;
    margin-bottom: 1em;
    text-indent: 0;
}

.no {list-style: square;}

table {margin: 1em 0; padding: 0; border-collapse: collapse; border-spacing: 0; border: 1px solid #000; }
td, th {border: 1px solid #000; padding: 4px; vertical-align: middle;}
th {font-weight: bold;}