diff --git a/docs/mystyle.css b/docs/mystyle.css
index 7246cfac6..d214ba07d 100644
--- a/docs/mystyle.css
+++ b/docs/mystyle.css
@@ -16,6 +16,6 @@ li.body {
 span.code {
   white-space: nowrap;
   font-family: monospace;
-  font-size: x-small;
+  font-size: medium;
   font-weight: bold
-}
\ No newline at end of file
+}