Perhaps add hotkeys (numbers on keyboard) for each highlighter color? Maybe even have a mode that cycles through different highlighter colors automatically to make it easier for students to read closely grouped highlights (this one is less important). Make sure that this feature is described clearly somewhere (hover pop up box?).
Also, as a previous 'new idea' suggested, allow notation/highlight etc to continue across pages.