table.documentation {
    font-size: smaller;
    border: 1px solid black;
    width: 100%;
    padding: 0;
}

table.documentation tr {
    background-color: #eeeeee;
}

table.documentation tr.oddrow {
    background-color: #dddddd;
}

table.documentation th,
table.documentation td {
    padding: 0.25em;
}

table.documentation th {
    text-align: left;
    font-weight: bold;
    color: white;
    background-color: #303060;
    vertical-align: top;
}

table.documentation td {
    vertical-align: top;
}

table.documentation td dl {
    margin: 0 0 0 1em;
}

table.documentation td dl dt {
    font-weight: bold;
}