From a5c6ca8032368b1dc9a24b01e85fc83658bfeb27 Mon Sep 17 00:00:00 2001
From: Eduard-Mihai Burtescu <eddyb@lyken.rs>
Date: Sun, 18 Jun 2023 06:07:33 +0300
Subject: [PATCH] print: increase `font-size` from `15px` to `17px`, to improve
 readability.

---
 src/print/multiversion.rs | 2 +-
 src/print/pretty.rs       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/print/multiversion.rs b/src/print/multiversion.rs
index a0e6b44..d49c537 100644
--- a/src/print/multiversion.rs
+++ b/src/print/multiversion.rs
@@ -114,7 +114,7 @@ impl Versions<pretty::FragmentPostLayout> {
     }
     SCOPE>tbody>tr>th {
         /* HACK(eddyb) these are relative to `pretty`'s own HTML styles. */
-        font-size: 17px;
+        font-size: 19px;
         font-weight: 700;
 
         font-style: italic;
diff --git a/src/print/pretty.rs b/src/print/pretty.rs
index b40cc02..a63f14d 100644
--- a/src/print/pretty.rs
+++ b/src/print/pretty.rs
@@ -310,7 +310,7 @@ impl<'a> FromInternalIterator<TextOp<'a>> for HtmlSnippet {
         margin: 1ch;
 
         /* HACK(eddyb) avoid unnecessarily small or thin text. */
-        font-size: 15px;
+        font-size: 17px;
         font-weight: 500;
     }
     SCOPE a {