Skip to content

Improve formula images and their placement.

Compare
Choose a tag to compare
@humenda humenda released this 09 Oct 19:19
· 81 commits to master since this release
  • 16px/12 pt is now the default font size for documents (seems to be in line
    with all major browsers). That means that the default DPI has ben set to 115
    DPI.

    Furthermore, the DPI switch now accepts pt values for fontsizes and will
    calculate the corresponding DPI itself.

  • When the environment variable DEBUG=1 is set, the full backtrace will be
    printed.

  • Extend unicode table creation script to allow blacklisting of certain
    commands.