html {
       font-family: helvetica;
       height: 100%;
       } 

body { -webkit-text-size-adjust: 100%;
       font-family : helvetica/*courier new;*/ 
       font-size : 16px; 
       color : 555555;
       }

p  { 
       font-family : helvetica/*courier new;*/ 
       color : #000000;
       }
table {
        font-family : helvetica/*courier new;*/ 
        color : #000000;
        font-size : 18px; 
        }
code  {
        color : #000000; 
        font-size : 15px;
        }
td.col1{
         text-align : right;
         }
table.betti {
              cell-padding : 100px;
              border-collapse : collapse;
              }
table.betti td {
                 padding-left : 10px;
                 padding-right : 10px
                 }
  ul.empty{     list-style-type : none;}
  ul.empty li {         padding : 5px}
 
.section { 
           background-color: #ffddff;/*#bce1f7;*/  
           text-indent: 10px; 
           margin-left:-10px;
           margin-right:-10px }  

.firstRow{ background-color: #eeeeee; }