From 8d18d37017ac5b670b8eca7691af95087ab138e0 Mon Sep 17 00:00:00 2001
From: damithc <damithc@github>
Date: Fri, 9 Feb 2024 18:09:08 +0800
Subject: [PATCH] Reduce font size for printing

---
 docs/stylesheets/main.css | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/docs/stylesheets/main.css b/docs/stylesheets/main.css
index 1074ade4..ba6f8385 100644
--- a/docs/stylesheets/main.css
+++ b/docs/stylesheets/main.css
@@ -133,6 +133,32 @@ mark {
   #page-nav {
     display: none;
   }
+
+  /* Reduce font size when printing */
+  h1 {
+      font-size: 1.2rem !important;
+  }
+  h2 {
+      font-size: 1.0rem !important;
+  }
+  h3 {
+      font-size: 0.9rem !important;
+  }
+  h4 {
+      font-size: 0.8rem !important;
+  }
+  h5 {
+      font-size: 0.7rem !important;
+  }
+  body {
+      font-size: 0.65rem !important;
+  }
+  .btn {
+      font-size: 0.65rem !important;
+  }
+  img {
+      zoom: 0.8;  /* might not work on some browsers */
+  }
 }
 
 h2,