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; marginleft: 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 */}

.example-wiki { color: red; }