diff --git a/docs/mystyle.css b/docs/mystyle.css
index d214ba07d..8adbeee53 100644
--- a/docs/mystyle.css
+++ b/docs/mystyle.css
@@ -16,6 +16,5 @@ li.body {
 span.code {
   white-space: nowrap;
   font-family: monospace;
-  font-size: medium;
   font-weight: bold
 }