div.sectionbody {
    font-family: serif,Helvetica,arial;
}
h5 {
    font-size: 0.95em;
}
span.command {
    background: #EEEEFF;
    border: solid 1px #BBBBDD;
    padding: 0 8px 0 8px;
    margin-right: 12px;
}
p.table {
    margin-top: 0;
    margin-bottom: 0;
}
.key {
    border-top: solid 1px #D5D5E5;
    border-left: solid 1px #D5D5E5;
    border-bottom: solid 1px #A5A5B5;
    border-right: solid 1px #A5A5B5;
    background-color: #EEEEFF;
    padding: 0 0.3em 0 0.3em;
    margin: 0 2px 0 2px;
}
.key.ctrl {
    font-size: 0.75em;
    font-variant: small-caps;
    border-top: solid 1px #DAD0D0;
    border-left: solid 1px #DAD0D0;
    border-bottom: solid 1px #AAA0A0;
    border-right: solid 1px #AAA0A0;
    background-color: #FAF0F0;
}
.key.alt {
    font-size: 0.75em;
    font-variant: small-caps;
    border-top: solid 1px #D0C5C5;
    border-left: solid 1px #D0C5C5;
    border-bottom: solid 1px #A09595;
    border-right: solid 1px #A09595;
    background-color: #F0E5E5;
}
.key.other {
    font-size: 0.75em;
    font-variant: small-caps;
    border-top: solid 1px #D0E0D0;
    border-left: solid 1px #D0E0D0;
    border-bottom: solid 1px #A0B0A0;
    border-right: solid 1px #A0B0A0;
    background-color: #EAFAEA;
}
.keyplus {
    font-size: 0.8em;
}