From de3a4fc757104e6edb736bf4acb7fdb7c9259287 Mon Sep 17 00:00:00 2001 From: Markus Koch Date: Fri, 17 Apr 2020 21:47:12 +0200 Subject: Add street editor Accessible by setting ?editor --- htdocs/index.html | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'htdocs/index.html') diff --git a/htdocs/index.html b/htdocs/index.html index da094a1..93f501e 100644 --- a/htdocs/index.html +++ b/htdocs/index.html @@ -13,6 +13,8 @@ + +

@@ -31,7 +33,18 @@ a.new { color: red; } + + .no-aa img[role=presentation] { + image-rendering: optimizeSpeed; /* STOP SMOOTHING, GIVE ME SPEED */ + image-rendering: -moz-crisp-edges; /* Firefox */ + image-rendering: -o-crisp-edges; /* Opera */ + image-rendering: -webkit-optimize-contrast; /* Chrome (and eventually Safari) */ + image-rendering: pixelated; /* Chrome */ + image-rendering: optimize-contrast; /* CSS3 Proposed */ + -ms-interpolation-mode: nearest-neighbor; /* IE8+ */ + } + -- cgit v1.2.3