div#keybindings {
    color: #666666;
    margin-top: 2em;

}

dl.keybindings .keybinding {
    display: inline;
}

dl.keybindings dt  {
    margin: 0;
    font-weight: bold;
    display: inline;

}
dl.keybindings dt:after  {
    content: ":";

}
dl.keybindings dd  {
    margin-right: 1.5em;
    margin-left: 0.5em;
    display: inline;
    white-space: nowrap;
}
