From a87d3b1813abf35dbd8a847e8aec7c29f8d4a921 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Sat, 5 Jun 2021 18:15:25 +0300
Subject: change of heart: smaller font size for code is OK

---
 assets/css/common/misc.css | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/assets/css/common/misc.css b/assets/css/common/misc.css
index 3e40ce2..492a186 100644
--- a/assets/css/common/misc.css
+++ b/assets/css/common/misc.css
@@ -30,13 +30,6 @@ pre code {
 .highlight {
   background-color: #fafafa !important;
 }
-/* Use the default font size and color for <pre> and <code>. */
-pre {
-  font-size: inherit;
-}
-code {
-  font-size: inherit;
-}
 /* Prevent <code> elements from standing out from alerts. */
 .alert code {
   padding: 0;
-- 
cgit v1.2.3