acardona/CATMAID — pull request #647 by axtimwalde (2014-05-07 19:58:32+00:00)
Title: SVG icons for prettier high-DPI display

Added SVG-versions of some UI elements that make the GUI prettier on high-DPI screens with scaled up pixels. Fallbakcs for non-SVG machines should work and have been partially tested. Many icons/ elements missing but as it stands, they could be gradually added.