Merge pull request #8343 from duglin/Issue5278

Make fixed font sizes smaller per Issue #5278

docs/theme/mkdocs/css/docs.css

@@ -48,6 +48,11 @@ ol li {
   margin: 8px;
 }
 
+pre {
+  font-size: 12px;
+  line-height: 1.5;
+}
+
 /* Main Navigation */
 #nav_menu > #docsnav {
   max-width: 940px;
@@ -193,12 +198,6 @@ ol li {
   margin-bottom: 20px;
 }
 
-.content-body * {
-  font-size: 14px;
-  font-weight: 400;
-  line-height: 1.7;
-}
-
 .content-body ul {
   padding: 10px 0px 10px 20px;
   list-style-position: inherit;