diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css
index c9109ebaf..38e96eafc 100644
--- a/doc_src/python_docs_theme/static/pydoctheme.css
+++ b/doc_src/python_docs_theme/static/pydoctheme.css
@@ -289,6 +289,11 @@ dl > dt span ~ em {
     font-family: monospace, sans-serif;
 }
 
+#synopsis p {
+    font-family: monospace, sans-serif;
+    font-size:  12pt;
+}
+
 /* On screens that are less than 700px wide remove anything non-essential
    - the sidebar, the gradient background, ... */
 @media screen and (max-width: 700px) {