A neat theme manager for WindowMaker