From 1d10b150c582aac7cd125cc174158d5faf509684 Mon Sep 17 00:00:00 2001
From: Rasmus Schultz <mindplay-dk@users.noreply.github.com>
Date: Mon, 6 Jul 2020 12:31:16 +0200
Subject: [PATCH] vdoc: fix font-size (#5696)

---
 cmd/tools/vdoc-resources/doc.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cmd/tools/vdoc-resources/doc.css b/cmd/tools/vdoc-resources/doc.css
index 394ff870d5..657cd92c26 100644
--- a/cmd/tools/vdoc-resources/doc.css
+++ b/cmd/tools/vdoc-resources/doc.css
@@ -411,7 +411,7 @@ body {
 pre, code, pre code {
   color: #5c6e74;
   color: var(--code-default-text-color);
-  font-size: 0.9rem;
+  font-size: 0.948em;
   text-shadow: none;
   font-family: monospace;
   background-color: #edf2f7;
@@ -573,4 +573,4 @@ pre {
 	.doc-toc {
 		top: 0;
 	}
-}
\ No newline at end of file
+}