diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css
index 42ba97b39..e3b5c75fb 100644
--- a/src/public/stylesheets/style.css
+++ b/src/public/stylesheets/style.css
@@ -924,6 +924,10 @@ li.dropdown-submenu:hover > ul.dropdown-menu {
     margin: 10px;
 }
 
+.help-dropdown code {
+    font-variant-ligatures: none;
+}
+
 #launcher-pane .launcher-button {
     font-size: 150%;
     display: inline-block;