Smaller interface

Have the option to make the Workspace interface smaller. There is already the possibility to adjust the tiles in terms of size, but this is also nice for the entire interface. Different sizes can then be added to this.