From eb2e5eff5058792f55c3bfce2369d1ae10a76f8f Mon Sep 17 00:00:00 2001
From: stefan schippers <stefan.schippers@gmail.com>
Date: Sun, 5 Mar 2023 01:33:34 +0100
Subject: [PATCH] fix font size of html docs on mobiles

---
 doc/xschem_man/xschem_man.css | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/doc/xschem_man/xschem_man.css b/doc/xschem_man/xschem_man.css
index f2b5cf8f..4fdb2a07 100644
--- a/doc/xschem_man/xschem_man.css
+++ b/doc/xschem_man/xschem_man.css
@@ -22,6 +22,10 @@ html, body{
   background-color: #cccccc;
 }
 
+pre{
+  white-space:pre-wrap;
+}
+
 kbd{
   color: #993333;
   text-align: left;
@@ -194,9 +198,9 @@ h3{
 }
 
 /* mobile rendering  */
-@media all and (-webkit-min-device-pixel-ratio: 2) and (min-resolution: 192dpi)  and (orientation : portrait){ 
+@media all and (-webkit-min-device-pixel-ratio: 2) and (min-resolution: 92dpi)  and (orientation : portrait){ 
   * {
-    font-size:16;
+    font-size:18;
   }
   .prev {
     width: 10%;
@@ -217,9 +221,9 @@ h3{
     left:24%
   }
 }
-@media all and (-webkit-min-device-pixel-ratio: 2) and (min-resolution: 192dpi)  and (orientation : landscape){ 
+@media all and (-webkit-min-device-pixel-ratio: 2) and (min-resolution: 92dpi)  and (orientation : landscape){ 
   * {
-    font-size:20px;
+    font-size:23px;
   }
 
   li{