Matthias Mees f1595837df Some visual polish for frontend/backend theme switching.
Also removes redundant text from backend theme info overlay.

References #151
2014-05-14 14:59:00 +02:00
..
2014-04-27 20:47:14 +02:00
2011-01-06 17:46:43 +00:00
2007-08-10 09:07:04 +00:00
2009-02-26 09:40:51 +00:00
2006-08-02 10:07:34 +00:00
2014-05-02 14:54:57 +02:00