Tiny redish theme adjustment