Remove double bootstrap.css include.
Fix formatting issue #188 -- pre styling from bootstrap was messing with ACE.