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

should make the site OK on phones.
Merge pull request #108 from AltGr/disp-phone

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