Hello @PaulaO, thank you for bringing this to our attention. At the moment is not possible to change the top bar font. If you have a suggestion or feature you’d like to see implemented in the browser, please leave us a Feature request as explained here: