fixes some mobile related stuff: codelens modals should be centered, and made the screen fill more of the viewport by default
more tweaks to make the mobile experience look a little better
Merge pull request #254 from isaacdontjelindell/bootstrap3mobile

Bootstrap 3 mobile