Florian Müllner ad7cde805d style: Update high-contrast theme
This was missed in fa0e54edbb58 ...
2015-09-04 18:56:11 +02:00
..
2015-09-04 18:56:11 +02:00