From e1d9227b54fb34efeee258085fd0289c1106e4a8 Mon Sep 17 00:00:00 2001
From: quenousimporte <76260127+quenousimporte@users.noreply.github.com>
Date: Fri, 3 Feb 2023 13:51:54 +0100
Subject: [PATCH] changed: themes

---
 main.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/main.js b/main.js
index c757e85..7025852 100644
--- a/main.js
+++ b/main.js
@@ -86,9 +86,9 @@ var themes =
 	{
 		bgcolor: "rgb(48,56,65)",
 		fontfamily: "'Consolas', monospace",
-		fontsize: "15px",
+		fontsize: "16px",
 		fontcolor: "rgb(216,222,233)",
-		lineheight: "110%",
+		lineheight: "120%",
 		accentcolor: "rgb(249,174,88)"
 	},
 	"Plus plus":
@@ -113,9 +113,9 @@ var themes =
 	{
 		bgcolor: "rgb(252,253,253)",
 		fontfamily: "'Consolas', monospace",
-		fontsize: "15px",
+		fontsize: "16px",
 		fontcolor: "rgb(50,50,50)",
-		lineheight: "110%",
+		lineheight: "120%",
 		accentcolor: "rgb(95,180,180)"
 	},
 	Cryptee: