Map Data checkbox: perhaps use toggle slider instead#5009

tomhughes merged 1 commit intoopenstreetmap:masteropenstreetmap/openstreetmap-website:masterfrom

nertc:issues_4931_map_data_checkboxnertc/openstreetmap-website:issues_4931_map_data_checkboxCopy head branch name to clipboard