CSS: Hide docs menu that was getting mixed up on smaller devices

should make the site OK on phones.