I recently installed Linux Mint Cinammon on an old laptop to try it out. The Title bar on windows is too tall for me preferences. I poked around in settings but couldn’t find a way to make the title bar shorter. Is this not possible or is there some CLI-fu config to force it?