dl, dt, dd {
font-family: monospace;
margin: 0;
padding: 0;
}
dl {
margin-top: 1.5em;
margin-left: 60px;
}
dl dt:first-child {
border-bottom: 1px solid blue;
text-decoration: none;
}
dt {
text-decoration: underline;
margin-top: 1.0em;
}
dd {
white-space: pre;
padding-left: 20px;
}
dd p {
white-space: normal;
margin-top: 0.1em;
margin-left: 2em;
}
dd.seed {
color: gray;
}
dd.qual {
background-color: #ffd;
color: blue;
}
dd.final, a.final {
font-weight: bold;
}