/* Keep mobile navigation tools aligned after removing the header brand link. */
@media(max-width:700px){.header .header-tools{margin-left:auto}}