From 9c201c5836fcee4455806a06fbada17cabd4296d Mon Sep 17 00:00:00 2001
From: Doug Davis <dug@us.ibm.com>
Date: Tue, 30 Sep 2014 13:04:17 -0700
Subject: [PATCH] Make fixed font sizes smaller per Issue #5278

Closes #5278

Signed-off-by: Doug Davis <dug@us.ibm.com>
---
 docs/theme/mkdocs/css/docs.css | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/docs/theme/mkdocs/css/docs.css b/docs/theme/mkdocs/css/docs.css
index c7c1b9494b..c9001a7ee7 100644
--- a/docs/theme/mkdocs/css/docs.css
+++ b/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;