removed defunct theme options