Извините, что выкопал старый вопрос. После поиска в верхнем и нижнем регистре «почему браузеры (особенно мобильные браузеры) отображают текст <pre>
слишком мелким и нечитаемым», я обнаружил, как предлагается здесь, поменять css font-size:
на em
. Но получится em
для <pre>
размера эффектов в браузере настольного компьютера, а не в мобильном браузере. На Android, Samsung / Mozilla / Chrome наблюдается явное несоответствие, увеличение размера шрифта меньше при том же значении em
, что и в браузерах для настольных компьютеров. Решением этой дилеммы является использование %
вместо em
.
Правило css pre{font-size:200%;}
, кажется, увеличивает <pre>
текст более последовательно (по сравнению с другими текстами) в мобильном браузере, как в настольном браузере.