encode js commands to prevent odd problems.
Merge branch 'master' of https://github.com/GigaBots/Dashboard_Mindstorm
main.css dashboard.css text editor sizing handling

fixed text editor so sizes can be adjusted vertically & horizontally in
at least chrome, firefox, and safari
other little fixes
Merge branch 'John'
Merge pull request #20 from dibaggioj/master

Update styling
Merge branch 'master' into John