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,