body       { font-family:      Arial, Helvetica, sans-serif;
                               font-size: 16px; }
.raw       { font-family:      Courier New, Courier, mono; }
.center    { text-align:       center; }
.bold      { font-weight:      bold; }
.link      { text-decoration:  underline;
             color:            rgb(64, 128, 255); }
.boxed     { border:           1 solid rgb(0, 0, 0);
             padding-left:     16px; }
.estable1  { padding-left:     16px;
             padding-right:    16px;
             background-color: rgb(240, 240, 240); }
.estable2  { padding-left:     16px;
             padding-right:    16px;
             background-color: rgb(248, 248, 248); }
.estable3  { padding-left:     16px;
             padding-right:    16px;
             background-color: rgb(255, 255, 255); }
.listspace { padding-bottom:   8px; }