4 Commits

Author	SHA1	Message	Date
Edward Chernenko	4384bd550a	optipng run: ./utils/woptipng.py -d 15 images/ ... It has been a while since the last optipng run (it was in 2015), and many non-optimized PNG files have accumulated in the repository. 288 of 1666 files optimized, 258992 bytes reduced to 156258 bytes; -102734 bytes, -39.66% To avoid unnecessarily increasing the size of Git repository for minor size reductions, we skip images that weren't reduced by at least 15%.	2019-01-02 19:26:48 +02:00
Charles Dang	39c280b37c	Tweaked dropdown button background images ... [ci skip] Gives them a slight gradient.	2018-02-23 15:37:18 +11:00
Charles Dang	e13cf1e591	Procedurally draw combobox borders ... This avoids issues with the borders looking bad when scaled	2016-03-14 22:27:37 +11:00
Charles Dang	5986cc1e29	Added images for combobox dropdown button	2016-01-22 02:24:11 +11:00