Offset console.log style

[longouyang]

Running this code results in progressively indented console.log formatting, which is weird:

console.log('a')
console.log('a')
console.log('b')
console.log('b')
console.log('b')
console.log('c')

(this doesn't happen on the editor 0.9.4 demo page, so it's something about the combination of webppl-editor.css and the other styles)