From b618bdd406a3817bcc53daed0612f79b2d9178f8 Mon Sep 17 00:00:00 2001
From: Amir Rajan <ar@amirrajan.net>
Date: Wed, 2 Sep 2020 13:23:46 -0500
Subject: Synced with 1.18.

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

(limited to 'docs')

diff --git a/docs/docs.css b/docs/docs.css
index 7be4b7c..25cc677 100644
--- a/docs/docs.css
+++ b/docs/docs.css
@@ -84,7 +84,7 @@ hr:before {
 pre {
     border: solid 1px silver;
     padding: 10px;
-    font-size: 16px;
+    font-size: 14px;
     white-space: pre-wrap;
     white-space: -moz-pre-wrap;
     white-space: -pre-wrap;
-- 
cgit v1.2.3