From 089a6ecf1756aa4cd8a4f74db6bce7c0a1fa3196 Mon Sep 17 00:00:00 2001
From: Joone Hur <joone.hur@gmail.com>
Date: Sun, 24 Mar 2024 13:26:59 -0700
Subject: [PATCH] Update font size for iOS and Mozilla on Android

Adjust font size for specific devices to improve readability and
consistency.
---
 docs/assets/styles/main.css | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/assets/styles/main.css b/docs/assets/styles/main.css
index c7519261..0b0f282a 100644
--- a/docs/assets/styles/main.css
+++ b/docs/assets/styles/main.css
@@ -9,13 +9,14 @@
   html {
     color: #232333;
     font-family: 'Roboto Mono', monospace;
-    font-size: 15px;
+    font-size: 17px;
     line-height: 1.6em;
   }
 
-  @media screen and (min-width: 1100px) {
+  /* for iOS and Mozilla on Android */
+  @media only screen and (hover: none) and (pointer: coarse){
     html {
-      font-size: 17px;
+      font-size: 15px;
     }
   }