.border_table
 { 
  border-color : #448;
  border-style : solid;
  border-collapse : collapse;
 }

.border_table tr, table.border_table td 
 { 
  border : 2px solid #448;
 }


tr { 
  vertical-align : top;
 }

.keyword 
 {
  color : #008;
  font-weight: bold; 
 }

.code 
 { 
  font-family: courier, courier-new;
  background : #ddf;
  font-size: 110%;
  color : #004;
 }

pre.code
 { 
  padding: 2px ;
  margin : 20px ;
  margin-top : 4px;
  margin-bottom : 4px;
  white-space : pre;
 }

tr.table_header1 
 {
  background: #99C;
  background-color : #99C;
  font-size: 140%;
  font-weight : bold;
 }

tr.table_header2
 { 
  background : #BBE;
  background-color : #bbe;
  font-size: 120%;
  font-weight : bold;
  font-style : italic;
 }