revise CSS class inheritance; implement subscript and superscript
fix interactive hand highlighting
disentangle overlapping lines in static display
remove colored boxes from empty line height props
implement patch
hide empty line height props