Export to PDF

To print, use the browser’s built-in print function, which usually can be invoked with the shortcut Ctrl+P. The document will be formatted so that it looks like a normal bullet list on page.

In some browsers (e.g. Google Chrome), in the print interface there’s an option to print as a PDF file.