body {
    margin: 1em 2em 1em 2em;
}
div.sectionbody {
    font-family: serif,Helvetica,arial;
}
h5 {
    font-size: 0.95em;
}
tt {
    font-family: monospace;
}
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 #DFD0D0;
    border-left: solid 1px #DFD0D0;
    border-bottom: solid 1px #AFA0A0;
    border-right: solid 1px #AFA0A0;
    background-color: #FFF0F0;
}
.key.alt {
    font-size: 0.75em;
    font-variant: small-caps;
    border-top: solid 1px #DFBBAB;
    border-left: solid 1px #DFBBAB;
    border-bottom: solid 1px #AF8B7B;
    border-right: solid 1px #AF8B7B;
    background-color: #FFDBCB;
}
.key.shift {
    font-size: 0.75em;
    font-variant: small-caps;
    border-top: solid 1px #D5D5D5;
    border-left: solid 1px #D5D5D5;
    border-bottom: solid 1px #A5A5A5;
    border-right: solid 1px #A5A5A5;
    background-color: #F5F5F5;
}
.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;
}
.hexa {
    color: #000077;
    font-size: 0.85em;
    font-family: monospace;
    font-variant: small-caps;
    border: solid 1px #8888BB;
    padding: 0 0.2em 0 0.2em;
    margin: 0 0.2em 0 0.2em;
}
