From b63b7fd84f08cefaa52f3ff3726811b81cef475a Mon Sep 17 00:00:00 2001
From: Thomas Schmidts <thomas@arangodb.com>
Date: Mon, 14 Jul 2014 13:39:36 +0200
Subject: [PATCH] Fixed problem with font-size in gitbook

---
 Documentation/Books/Users/localtheme/assets/style.css | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Documentation/Books/Users/localtheme/assets/style.css b/Documentation/Books/Users/localtheme/assets/style.css
index ace4f8a8e3..a736885d67 100755
--- a/Documentation/Books/Users/localtheme/assets/style.css
+++ b/Documentation/Books/Users/localtheme/assets/style.css
@@ -437,7 +437,7 @@ pre {
 display: block;
 padding: 9.5px;
 margin: 0 0 10px;
-font-size: 13px;
+font-size: inherit;
 line-height: 1.428571429;
 word-break: break-all;
 word-wrap: break-word;
@@ -6882,7 +6882,6 @@ padding: 5px 15px;
 background: #fff;
 border-radius: 2px;
 line-height: 1.6em;
-font-size: 1.6rem
 }
 .book .book-body .page-wrapper .page-inner .btn-group .btn {
 border-radius: 0;
@@ -7423,7 +7422,7 @@ padding: .5em
 opacity: .5
 }
 .book .book-body .page-wrapper .page-inner section.normal pre {
-font-size: 13px;
+font-size: inherit;
 line-height: 1.5em;
 overflow: auto;
 padding: 10px;