made ARE gui font size configurable in areProperties (to ensure that with small screen resolutions it will work as well)
default:
ARE.gui.font.size=18