[^] changed SO theme to default