I'd like to suggest that the highlighting-box (where you pick colors etc.) that appears when you choose to highlight in PDFs should be changed for increased readability.
Rather than the box that currently steals a lot of space from the document when...
