Compressed javascripts and fixed codehilite margin