Closed
Description
The logos in the header and footer (and possible more images?) use a PNG and not the corresponding SVG file, since it is behind the Modernizr feature detection and depends on the html.mdzr-svg class being present.
On high DPI screens the difference is visible from to the main djangoproject.com website.
The CSS file trac-env/htdocs/css/output.css seems to be reused from the main project, since the main site includes a modernizr.js the SVGs are used there.
Since SVG CSS backgrounds should be available anywhere I think the easiest solution would be to just add the mdzr-svg class to the html element, or include the modernizr.js from the main project as well if it is still needed.