@anthrax Yes. You can edit the theme.xml file within the theme folder to change the size developer text. There are some more details about how to do that here:
If you are interested in the layout I edited in the post above, I can send you that specific theme file.