I'm a student and I have to go through massive amounts of text each day or at least I ought to do so. Printing everything out isn't really an alternative and time-consuming as well. With Skim I can highlight selected text areas and make annotations. Unfortunately, I can't switch efficiently between highlight colors and the saved changes are only legible with this specific app. Do you guys know of any alternatives? Thanks!