In the user settings, there is a Tighter UI option, which slightly reduces the size of almost all fonts in the user interface of a regular user and reduces the space taken up by some visual elements. This is useful e.g. on laptops that don't have a very large screen. On the iPad Pro and many other tablets, the Tighter UI setting may feel appropriate whether is enabled or not.
<-- Project files, CDN files and importing using SFTP
Exporting solution in three versions: printable, server-independent HTML or relatively plaintext versions -->