Themes

Is there a way to fix oversized HTML Editor using CSS?