/* Feuille de style Nicolas Raibaut.

   Inspirée de celle du W3C (W3C-REC.css)
 + instructions dans le corps de REC-xmlschema-0-20010502.html

*/

body {
  margin: 0em 1em 2em 70px;
  font-family: sans-serif;
  color: black;
  background: white;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
}

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

h1, h2, h3, h4, h5, h6 { text-align: left;   background:#DDEEFF;
}
h1 { text-align: center;
}

h1, h2, h3 { color: #005A9C }
h1 { font: 170% sans-serif }
h2 { font: 130% sans-serif }
h3 { font: italic 110% 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 */

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 } 
}

/* Things (icons) that should only show up in projection mode */
.projection { display: none }
@media projection { .projection { display: inline } }


body {
  background-image: url(logo.gif);
}


/*
 Instructions dans le corps de REC-xmlschema-0-20010502.html :
*/
          /*
  img { color: red; border: none }
*/

/*
                   code { font-family: monospace; font-size: 100%}
                   span.propdef { font-weight: bold; font-family: monospace }
                   span.termdef {color: #850021}
                   a.termref:visited, a.termref:link {font-family: sans-serif;
                              font-style: normal;
                              color: black;
                              text-decoration: none } 
                   a.eltref:visited, a.eltref:link { font-family: sans-serif;
                              color: black; 
                              text-decoration: none }
                   a.propref:visited, a.xpropref:visited, a.propref:link, a.xpropref:link { color: black; text-decoration: none;
                                           font-family: sans-serif }
                   dl.props, dl.psvi {margin-bottom: .5em; margin-top: 0em}
                   div.localToc {margin-top: 0em; margin-left: 8ex}
                   div.toc1 {margin-left: 5ex}
                   div.toc2 {margin-left: 2ex}
                   div.tocLine{margin: 0em; text-indent: -6ex}
                   h3.withToc {margin-bottom: 0em}
                   div.constraintnote { margin-top: 1em }
                   div.constraint {
                      margin-left: 1em; }
                   
                   div.constraintlist {
                      margin-left: 1em; margin-bottom: 0em
                   }
                   div.clnumber {
                      text-indent: -1em;
                      margin-top: 0em; margin-bottom: 0em }
                   
                   div.schemaComp { border: 4px double gray; 
                                     margin: 0em 1em; padding: 0em }
                   div.compHeader { margin: 4px;
                                    font-weight: bold }
                   span.schemaComp { color: #A52A2A }                  
                   div.compBody { 
                                  border-top-width: 4px;
                                  border-top-style: double;
                                  border-top-color: #d3d3d3;
                                  padding: 4px ; margin: 0em}
                   
                   div.psviDef { border: 4px double gray; 
                                     margin: 1em 1em; padding: 0em }
                   div.psviHeader { margin: 4px;
                                    font-weight: bold }
                   span.psviDef { color: #A52A2A }                  
                   div.psviBody { border-top-width: 4px;
                                  border-top-style: double;
                                  border-top-color: #d3d3d3;
                                  padding: 4px ; margin: 0em}
                   
                   div.reprdef { border: 4px double gray; 
                                     margin: 0em 1em; padding: 0em }
                   div.reprHeader { margin: 4px;
                                    font-weight: bold }
                   span.reprdef { color: #A52A2A }                  
                   div.reprBody, div.reprcomp, div.reprdep { 
                                  border-top-width: 4px;
                                  border-top-style: double;
                                  border-top-color: #d3d3d3;
                                  padding: 4px ; margin: 0em}
                   table.reprcomp { margin-bottom: -.5em}
                   p.element-syntax-1 { font-family: monospace;
                                        margin-top: 0em; margin-bottom: .5em }
                   p.element-syntax { font-family: monospace; 
                                  border-top-width: 1px;
                                  border-top-style: solid;
                                  border-top-color: #d3d3d3;
                                  padding: 4px ; margin: 0em}
                   
                   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}
                   
                   table.restricts { margin-top: 1em; margin-bottom: 1em; margin-left: -2em}
                   table.ubc td, table.ubc th { font-size: smaller }
                   table.restricts td, table.restricts th { font-size: smaller }
                   table.dtdemo th { text-align: center;
                                     background-color: #d5dee3}
                   table.dtdemo pre { margin-left: 0em;  margin-bottom: 0em}
                   table.dtdemo td {background-color: #bedce6}
                  code { font-family: monospace }
          img { color: white; border: none }
          span.nav { float: right}
          span.arrow { font-style: normal; font-weight: bold }
*/