3.13.3

Just a few small tweaks:

• Fixed font metrics measurement and text scaling when custom font is used
• Prevented page style for <pre> from interfering with terminal's border-radius