hordepfo 491595bfbd Several theming and color fixes ... Restructured a bit how theming and coloring works. Now theme and color changes work on the fly. No need to restart mintMenu anymore. Note that changing theme no longer regenerates plugins, so it's faster. Fixes issue #47		2014-03-18 16:08:55 +00:00
..
mintMenu	Several theming and color fixes	2014-03-18 16:08:55 +00:00