css: reduce size of branding header.