  <li><b>Fonts...</b> Opens a dialog listing the fonts used in the document.</li>
    <li><b>Fullscreen</b> Toggles the fullscreen mode, i.e. the window is shown
maximized and without decoration.</li>
    <li><b>Presentation...</b> Enters presentation mode which can be left by
pressing F12 or escape. The home/end key is used to display the first/last
page. Arrow keys right and down, space and the page down key jump to the
next page. Arrow keys left and up, backspace and the page up key jump to the
previous 