Custom CSS textarea too small

Hello,

The custom CSS textarea of WordPress is too small, very small

How could we change it to get a proper space to edit CSS ?

Also when I do Ctrl+F in Chrome to open search, it doesn't search into this CSS field …