/* English-only overrides for server_navigation.css */