print: increase font-size from 15px to 17px, to improve readabi…

…lity.
EmbarkStudios · Jun 18, 2023 · a5c6ca8 · a5c6ca8
1 parent 5a27d6d
commit a5c6ca8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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 {