When using Firefox to highlight PDFs the toolbox for the highlighting tool covers the text of the paper I am trying to read. This happens in fullscreen-mode (as shown on the screenshot) and in normal viewing mode. It would be much more convenient if ...