pre.code 
{
  padding: 0.5em;
  background-color: #EEF; 
  margin-left: 0;  
  margin-top: 0;  
  white-space:pre;     
  border-style:solid;     
  border-width:1pt;     
  border-color:#999999;
  font-size: 80%;     
  font-family: "courier new"; 
}   
   
p.caption 
{  
  font-size: small;  
  font-style: italic;  
  color: #666;  
  text-align: right; 
  margin-bottom: 0;
}

div.rule
{
  border: 1px solid #999;
  background-color: #FFD;
  padding: 0 0.5em 0 0.5em;
}

div.rule h4
{
  margin-top: 0.5em;
}

div.constraint
{
  border: 1px solid red;
  background-color: #FDD;
  padding: 0 0.5em 0 0.5em;
}

div.constraint h4
{
  margin-top: 0.5em;
}

div.constraint p
{
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

div.rule p
{
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

.title
{
  font-style: italic;
  text-decoration: underline;
}


div.section, div.head 
{
}

div.section img
{
  margin-bottom: 1em;
}

.quote
{
  display: block;
  margin: 1em;
}

/* Term summary tables */

table.terms 
{ 
  border-top: 1px solid #CCC; 
  border-left: 1px solid #CCC; 
  margin-bottom: 10px; 
}

table.terms th 
{ 
  background: #EEE; 
  font-family: Verdana, Arial, "Arial Unicode MS", Helvetica, sans-serif; 
}

table.terms td, table.terms th 
{ 
  border-right: 1px solid #CCC; 
  border-bottom: 1px solid #CCC; 
  padding: .5em; 
  vertical-align:top;
}

table.terms img
{
  float: left;
}

col.name
{
  width: 16%;
}

col.value
{
  width: 84%;
}

/* Styles for change log */

div.item
{
  border: 1px solid #CCC;
  margin-bottom: 1em;
}

h3.itemtitle
{
  color: black;
  font-size: 100%;
  font-weight: bold;
  margin: 0em;
  padding: 0.2em;
  background: #EEE;
}

p.itemdate
{
  margin: 0em;
  padding: 0.2em;
  font-size: 70%;
  font-weight: bold;
}

p.itembody
{
  margin: 0em;
  padding: 0.2em;
}

.centred
{
	text-align: center;
}