Bootstrap 3 mobile

A couple of tweaks to make mobile look a little better.

Should fix the issue where codelens modals are cut off.

I've only tested it on my phone, so let me know if this breaks anything on the tablet side.