Merge branch 'master' into John
Merge branch 'John'
smaller background file size, for web

smaller background file size, for web
Merge branch 'John'
Merge branch 'master' of https://github.com/GigaBots/Dashboard_Mindstorm