diff --git a/doc/docinfo.html b/doc/docinfo.html
index 88498d965..389394b46 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -22,6 +22,10 @@ h1,h2,h3,h4,h5 {
 kbd {
   font-size: .9em;
 }
+.keyseq {
+  margin-left: .2em;
+  margin-right: .2em;
+}
 .tableblock kbd {
   margin-top: .2em;
   margin-bottom: .2em;