body { font-family: "Times New Roman", Times, serif;
       background-color: white; color: black;
       margin: 1em 1em 1em 1em; }
p, .version { 
    margin-left: 2.5em; }

dl, blockquote { 
     margin-left: 3.2em; }

ul, ol { 
     margin-left: 4.5em; }

pre { font-family: "Courier New", monospace; 
      padding: 1em; 
      margin: 0.2em 2.5em 0.2em 3em;
      background-color: #efeff5;
      border: 1px solid #cfcfcf;
      white-space: pre;
 }

h1, h2, h3, h4 {font-family: Arial, Helvetica, sans-serif;}
h1 { font-size: 2.2em; }

h2 { font-size: 1.6em; }

h2, h3, em { font-weight: bold;
             margin-left: 0.3em; }

dd.indent { padding-left: 1em; }

.example-dc { color: blue; }
.example-taxo { color: green; }
.example-syn, .example-other { color: red; }
.example-co { color: purple; }
.example-ti { color: #ff9900; /* orange */ }
.example-rdf { color: #996633; /* brown */}

pre {
  white-space: pre;
}