modifications to bender black theme