Big input font hardcoded in darktheme.css