fixed mobile flag in menu

panda requested to merge css-modifications into master Feb 28, 2020