diff --git a/doc/docinfo.html b/doc/docinfo.html
index 262a9827e..ccfc22c86 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -19,8 +19,11 @@ h1,h2,h3,h4,h5 {
   line-height: normal;
   font-size: .95em;
 }
+.keyseq kbd {
+  font-size: .7em;
+}
 .tableblock kbd {
-  font-size: .691em;
+  font-size: .7438em;
 }
 .hex {
   padding: 0 .2em;