Liam Newman d02d83d646 Update code mirror and jquery
Tune the web page scrolling a bit as well.

Closes 
2013-04-17 16:47:18 -07:00
..
2013-04-17 16:47:18 -07:00