/*
* llamado por la funcion php_color()
*
*/
.css_title { 
     margin: 10px 5px 10px 15px; 
     font-size: 10px; 
     width: 90%; 
      
 } 
 .css { 
     background: #DCDCDC;     
     border: 1px solid #8FB1EE; 
     border-left: 1px solid #8FB1EE; 
     font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; 
     font-size: 11px; 
     color: #000000; 
     padding: 3px; 
     width: 97%;
     margin: 0px; 
 } 
 
  .fondo_db_color { 
     background: #DCDCDC;     
     border: 1px solid #8FB1EE; 
     border-left: 1px solid #8FB1EE; 
     font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; 
     font-size: 11px; 
     color: #000099; 
     padding: 3px; 
     width: 97%;
     margin: 0px; 
 } 
 
 
 .db_atributo {
     color: #993399; 
     font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; 
     font-size: 12px; 
     font-weight: bold;
 }
 .db_campos {
     color: #3399FF; 
     font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; 
     font-size: 12px; 
 }
 
 .db_extra {
     color: #0000FF; 
     font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; 
     font-size: 12px; 
 }