From d641d1576d4d108b974aaa993475294276093558 Mon Sep 17 00:00:00 2001
From: Quadr0 <quadroid@users.noreply.github.com>
Date: Sat, 15 Jan 2022 12:33:13 +0300
Subject: [PATCH] Scalable font size in code highlighter

---
 kb/css/sh.css | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/kb/css/sh.css b/kb/css/sh.css
index d5a7868..52c5b48 100644
--- a/kb/css/sh.css
+++ b/kb/css/sh.css
@@ -2,7 +2,7 @@
 .dp-highlighter
 {
 	font-family: Consolas, Menlo, Monaco, "Courier New", Courier, monospace;
-	font-size: 12px;
+	font-size: .95em;
 	background-color: #efeee8;
 	width: 100%;
 	overflow: auto;
@@ -110,7 +110,7 @@
 .dp-highlighter .tools
 {
 	padding: 3px 8px 3px 10px;
-	font: 9px Verdana, Geneva, Arial, Helvetica, sans-serif;
+	font-family: Verdana, Helvetica, 'Helvetica Neue', Arial, sans-serif;
 	color: silver;
 	background-color: #f8f8f8;
 	padding-bottom: 10px;
@@ -126,7 +126,7 @@
 }
 .dp-highlighter .tools a
 {
-	font-size: 9px;
+	font-size: 80%;
 	color: #a0a0a0;
 	background-color: inherit;
 	text-decoration: none;