.new { color: #FF0000 }

.figure {
         font-weight: bold;
         text-align: center; }

.primative {
    padding: 1em; 
    margin: 0.1em 3.5em 0.1em 0.1em;
    background-color: #eddddd;
    border: 1px solid #cfcfcf; 
}

.ptriple {
    padding: 1em; 
    margin: 0.1em 3.5em 0.1em 0.1em;
    background-color: #eeeedd;
    border: 1px solid #cfcfcf; 
    font-size: 16pt;	
}

.ntriple {
    padding: 1em; 
    margin: 0.1em 3.5em 0.1em 0.1em;
    background-color: #eedddd;
    border: 1px solid #cfffcf; }

.caveat {
    padding: 1em; 
    margin: 0.1em 3.5em 0.1em 0.1em;
    border: 1px solid #cfcfcf; }

.rdfxml {
    padding: 1em; 
    margin: 0.1em 3.5em 0.1em 0.1em;
    background-color: #dddddd;
    border: 1px solid #cfcfcf; }

dl {
  margin: 0em 0em 0em 2em; 
  font-size: 16pt;	
}

.sample {
  font-size: 16pt;	
}