From 801df7268088b1f78ba2aecc32eacae43ed9f395 Mon Sep 17 00:00:00 2001
From: Manuel <diserkin@gmail.com>
Date: Fri, 30 Nov 2018 14:35:19 -0800
Subject: [PATCH] h4,h5 font size increased

---
 book/src/theme/css/chrome.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/book/src/theme/css/chrome.css b/book/src/theme/css/chrome.css
index 38d217b913..943bfe03ae 100644
--- a/book/src/theme/css/chrome.css
+++ b/book/src/theme/css/chrome.css
@@ -508,7 +508,6 @@ ul#searchresults span.teaser em {
     margin-top: 2.5em;
     margin-bottom: 0.8em;
     padding: 0 28px;
-    font-size: 10px;
 }
 
 .content table {