An interface for non-linear reading of structured texts.