Alex Lindeman 851ee51c1b gui: Sharpen device icons (fixes #5579) (#6837) ... Add [shape-rendering: crispEdges](https://developer.mozilla.org/en-US/docs/Web/SVG/Attribute/shape-rendering) to `.identicon` class to remove blurry grid lines within device icons		2020-07-16 19:49:48 +02:00
..
css	gui: Sharpen device icons (fixes #5579) (#6837)	2020-07-16 19:49:48 +02:00
font	Add support for themes (fixes #1925)	2016-01-10 17:57:27 +00:00
img	assets, gui: Losslessly compress all JPG, PNG, and PDF images (#6265)	2020-01-16 13:52:43 +01:00
lang	gui, man, authors: Update docs, translations, and contributors	2020-07-15 07:46:14 +02:00