/* added for ontology doc by wonsuk */
table { border-collapse:collapse;
border-spacing: 0px;
margin-top: +1em;
margin-bottom: +1em;}

td    { vertical-align:top; font-size:10pt;text-align:left; padding: 0.4em;}
th    { vertical-align:top; font-size:12pt; text-align:left;  margin: +0.8em;position: inherit;padding: 0.4em;}
hr {margin-top: +1em;margin-bottom: +1em;}
  
.ro-header { height:0.8cm; background-color:#99ccff;}
.ro-odd   { height:0.6cm; background-color:#d5daef;}
.ro-even  { height:0.6cm; background-color:#b8bbc9;}

.cell { font-family:Arial; vertical-align:top; text-align:left; font-size:10pt; font-style:normal;  text-decoration:none  }

.ma { font-family:Arial; vertical-align:top; text-align:left; font-size:10pt; font-style:normal;  font-weight: bold;}

/* added for ontology doc by wonsuk */

code           { font-family: monospace; }

div.constraint,
div.issue,
div.note,
div.notice     { margin-left: 2em; }

ol.enumar      { list-style-type: decimal; }
ol.enumla      { list-style-type: lower-alpha; }
ol.enumlr      { list-style-type: lower-roman; }
ol.enumua      { list-style-type: upper-alpha; }
ol.enumur      { list-style-type: upper-roman; }

dt.label       { display: run-in; }


/* removed by thierry to fulfill comment LC2418
li, p           { margin-top: 0.3em;
                 margin-bottom: 0.3em; }
                 
                 */
                 
/* added by thierry */               

.informative { background-color: #eee; border: solid green; border-width: 1px; padding: 0.5em;}                  
                 
.example { background-color: #d5dee3;
                     border-top-width: 4px;
                     border-top-style: double;
                     border-top-color: gray;
                     border-bottom-width: 4px;
                     border-bottom-style: double;
                     border-bottom-color: gray;
                     padding: 4px; margin: 1em }

                   
pre {		margin-left: 4em;
    		color: black;
    		font-family: monospace;
    		border: 2px  gray;
    	
    			    }
                   
                   
/* end added by thierry */ 

.diff-chg       { background-color: yellow; }
.diff-del       { background-color: red; text-decoration: line-through;}
.diff-add       { background-color: lime; }

table          { empty-cells: show; }

table caption {
        font-weight: normal;
        font-style: italic;
        text-align: left;
        margin-bottom: .5em;
}

div.issue {
  color: red;
}
.rfc2119 {
  font-variant: small-caps;
}

div.exampleInner pre { margin-left: 1em;
                       margin-top: 0em; margin-bottom: 0em}
div.exampleOuter {border: 4px double gray;
                  margin: 0em; padding: 0em}
div.exampleInner { background-color: #d5dee3;
                   border-top-width: 4px;
                   border-top-style: double;
                   border-top-color: #d3d3d3;
                   border-bottom-width: 4px;
                   border-bottom-style: double;
                   border-bottom-color: #d3d3d3;
                   padding: 4px; margin: 0em }
div.exampleWrapper { margin: 4px }
div.exampleHeader { font-weight: bold;
                    margin: 4px}

div.boxedtext {
   border: solid #bebebe 1px;
   margin: 2em 1em 1em 2em;
 }

span.practicelab {
   margin: 1.5em 0.5em 1em 1em;
   font-weight: bold;
   font-style: italic;
 }

span.practicelab   { background: #dfffff; }

 span.practicelab {
   position: relative;
   padding: 0 0.5em;
   top: -1.5em;
 }
p.practice
{
   margin: 1.5em 0.5em 1em 1em;
 }

@media screen {
 p.practice {
   position: relative;
   top: -2em;
   padding: 0;
   margin: 1.5em 0.5em -1em 1em;
}
}