Mobile navs: bigger buttons and hide new? (#720) a03d289 unverified victor HF staff commited on Jan 30
