More styling stuff.
Computer line numbers correctly for printing expressions. Reader line number not yet implemented.
Fix line-number in the dynamic codemirror instance. Remember, since the codemirror is a JS library object, we need to trigger state changes manually.