Generalize line highlighting to support multiple layers.
Highlight search results in main text.
Better search highlighting; better following of cursor when far off-page.