Fixed pixelated logos on high DPI screens

Turns out that the CSS (output.css in that case) was relying on more modernizr classes (which was removed in 43d9616). The logos in particular use a modernizr class to determine whether to use an SVG or a PNG, leading to pixelated images on high resolution screens. Fixes #173
django · Feb 6, 2024 · 1a366c8 · 1a366c8
1 parent eb16ed0
commit 1a366c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/trac-env/templates/django_theme.html b/trac-env/templates/django_theme.html
@@ -83,7 +83,7 @@ <h2>${_("Context Navigation")}</h2>
 </head>
 
 {#  we don't use the modernizer js lib anymore, but the css still uses some classes from it #}
-<body class="mdzr-boxshadow">
+<body class="mdzr-boxshadow mdzr-svg">
   # block body
 
   # include 'site_header.html' ignore missing