.doc6 { background-color: white; border-bottom: 1px solid #f5deb3; }
.doc7 { background-color: white; border-bottom: 1px solid #e4bfe4; }
span.variantname::before {
content: ' (';
}
span.variantname::after {
content: ' variant)';
}
span.variantname {
font-family:sans-serif;
font-weight:normal;
font-size: large;
}
h1.command {
font-family:monospace;
font-weight: bold;
font-size: xx-large;
}
span.minor {