From ee68772a6a37bea932ddf37a78bb62baf109c2c3 Mon Sep 17 00:00:00 2001
From: Chris Duncan <chris@codecow.com>
Date: Fri, 31 Jul 2026 13:28:02 -0700
Subject: [PATCH] Try resolution-dependent font size.

---
 test/index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/index.html b/test/index.html
index 7d6752f..a5cf4d7 100644
--- 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;}
-- 
2.52.0