Try resolution-dependent font size.

diff --git a/test/index.html b/test/index.html
index 7d6752fc530eebbe836254b52c0a8d3d3faf017f..a5cf4d7776afb25fa80144360c9f85e5f51bb625 100644 (file)
--- a/test/index.html
+++ b/test/index.html
@@ -318,6 +318,7 @@ SPDX-License-Identifier: GPL-3.0-or-later
                document.getElementById('effort').value = Math.max(1, Math.floor(navigator.hardwareConcurrency) / 2)
        </script>
        <style>
+               @media(min-resolution:2dppx){html{font-size:32px;}}
                body{background:black;color:white;line-height:150%;margin:0 auto;max-width:50rem;min-width:40rem;padding:0 1em;}
                a{color:darkcyan;}
                label{display:block;margin-bottom:0.25rem;}