div        {
              margin-left:      112px;
              width:            80%;
              border-color:     #00ccff;
              border-style:     solid;
              border-width:     1px;
              padding-left:     10px;
           }
div.header {
              margin-left:      112px;
              width:            80%;
              background-color: #00ccff;
              text-align:       center;
              text-decoration:  underline;
              font-weight:      bold;
           }
.Pas       {
              background-color: #FFFEEF;
              font-weight:      bold;
           }
.Dcc       {
              background-color: #FFFEEF;
              font-weight:      bold;
           }
.Gui       {
              background-color: #FFFEEF;
              font-weight:      bold;
           }
.reftext   {
              padding-left:     20px;
           }
.reftable  {
              margin-left:      112px;
              width:            80%;
           }