From c5c3b2595b8a282d09639bcc003b49b5277c08c0 Mon Sep 17 00:00:00 2001 From: Pratik Gholap <65550720+soham283@users.noreply.github.com> Date: Thu, 1 Jul 2021 16:55:03 +0530 Subject: [PATCH] h4 tag change in font weight for fixing issue (#3696) (#3767) * changed the font weight for h4 tag to have distinctive style from bold text * changed the font weight for h4 tag to have distinctive style from bold text * changed the font weight for h4 tag to have distinctive style from bold text * updated the font size h4 which can be easily distinguished in conmpare to bold text * Updated the suggested changes Co-authored-by: Evan Anderson --- docs/stylesheets/extra.css | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index 0766a1a71..11c975c15 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -68,6 +68,12 @@ font-size: 100%; } +/* Giving h4 tag distinctive style because it is non-differntial with bold text */ +.md-typeset h4 { + font-size: .9rem; + font-weight: normal; +} + /* fix wrapping behavior of code in tables */ .md-typeset table code { word-break: normal;