The source project of this merge request has been removed.
Render site logo with crisp-edges
This is a tiny CSS fix to keep the Tildes header logo's pixelation (it was bugging me) when using high DPI displays or when increasing the display size of the webpage.
Without crisp-edges:
With crisp-edges:
