diff --git a/doc_src/user_doc.css b/doc_src/user_doc.css
index 50e3cbfa2..2861c2a96 100644
--- a/doc_src/user_doc.css
+++ b/doc_src/user_doc.css
@@ -131,6 +131,7 @@ h3 {
     display:none;
 }
 .key em {
+    font-style: normal;
     margin-right: 2px;
 }
 .key em, .key b {