From 5405e35dbe04d7c38b4884dc91c333dbbf1cfc5b Mon Sep 17 00:00:00 2001
From: Mayank Rawat <52965332+m-rawat@users.noreply.github.com>
Date: Thu, 1 Oct 2020 18:26:39 +0530
Subject: [PATCH] Update style.css

---
 docs/public/css/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/public/css/style.css b/docs/public/css/style.css
index c1d2958..29ece00 100644
--- a/docs/public/css/style.css
+++ b/docs/public/css/style.css
@@ -173,7 +173,7 @@ kbd,
 samp {
   font-family: monospace, serif;
   _font-family: 'courier new', monospace;
-  font-size: 1em;
+  font-size: 0.8em;
 }
 
 pre {