From 44b296017ffbdbfe81ea53169d447cc6193e719c Mon Sep 17 00:00:00 2001
From: Lesserkuma <lesserkuma4@gmail.com>
Date: Mon, 6 Feb 2023 21:18:14 +0100
Subject: [PATCH] Scale rendered graphics pixelated (for high DPI displays)

---
 style/style.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/style/style.css b/style/style.css
index 9ab857e..1537f13 100644
--- a/style/style.css
+++ b/style/style.css
@@ -251,3 +251,8 @@ noscript {
 .map-note { margin-left: 0.5rem; }
 .map-note span:first-child { font-size: 1.2rem; margin-right: 0.3rem; }
 .map-note span:last-child { vertical-align: sub; }
+
+#app canvas, #app img {
+  image-rendering: pixelated;
+  image-rendering: crisp-edges;
+}