adjust line div width to max line length

This way, scrolling won't cause the horizontal scrollbar to jitter,
and the line PRE elements can be given a background that spans the
whole editor.