Merge pull request #2 from mlee284045/mike

Mike
merge commit
Merge branch 'develop' of https://github.com/mlee284045/sidebar into develop
Merge pull request #3 from mlee284045/pat

Pat
merge commit
Merge branch 'develop' of github.com:mlee284045/sidebar into develop
Merge pull request #4 from mlee284045/isabelle

Isabelle