/* Compatibility file: mobile navigation is now controlled by css/shared.css. */