/* Previous public mobile/tablet navigation experiment neutralized.
   The original public.css navigation layout is now in control again. */