tt
  { background: transparent;
    color:      #383838; 
	font-family:monospace;    
    }

strong
{
	font-weight:bold;
}

sup
{
	vertical-align: sup;
}
sub
{
	vertical-align: sub;
}
code
{
	font-family: monospace;
}

table.diff
  { width: 95%; }
td.diff-added
  { background-color: #cfffcf;
    color:            #000000; }
td.diff-removed
  { background-color: #ffffaf;
    color:            #000000; }

pre.phpsource { border-width: 1px; border-style: solid;  border-color: #000000; 
                background-color: #d5d5d5; 
                padding: 0.3em;  } 

.phps
ource span.html    { color: #000000; }
.phpsource span.default { color: #0000CC; }
.phpsource span.keyword { color: #11cc11; }
.phpsource span.string  { color: #CC0000; }
.phpsource span.comment { color: #FF9900; }
table.codephr {float: right}
td.codephr {font-size: .5em}
td.codehdr {vertical-align: top}