Remove some obsolete theme stuff