navBar - only add padding for playPanel if button to open construction protocol is visible

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@37518 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
fix test Mike_1264

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@37519 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e