/* Coverage */

.stepname { font-weight: bold; }
.optreqd  { font-weight: bold; }
.optdefault { font-style: italic; }
.cover-none { background-color: #FFCCCC; }
.cover-few  { background-color: #FFFFCC; }
.cover-some { }
.cover      { background-color: #CCFFCC; }
td          { border-top-color: #AAAAAA;
              border-top-style: dotted;
              border-top-width: 1px;
            }
.rowsep     { border-top-color: black;
              border-top-style: solid;
              border-top-width: 1px;
            }