css: reduce branding header size again.