/* Keep the existing logo appearance while making it a native home link. */
a.header-logo { text-decoration: none; }