3.13.2

Notable changes:

• Modernized default terminal font family
• Improved support for Nerd Fonts
• Improved alignment of special symbols (box drawing, NF symbols, etc)
• Moved background rendering to a separate layer to prevent unwanted icon/symbol cutoffs

Nerd Font symbols (Powerline, Devicons, Font Awesome, Octicons, Pomicons, Codicons, ...) (https://github.com/ryanoasis/nerd-fonts/wiki/Glyph-Sets-and-Code-Points) are now properly rendered as long as the Symbols Nerd Font is loaded on the web page.

You can add Symbols Nerd Font by downloading NerdFontsSymbolsOnly.zip from Nerd Font releases page, then adding this @font-face declaration to your CSS:

@font-face {
    font-family: "Symbols Nerd Font";
    src: local(SymbolsNerdFont-Regular), url("/fonts/SymbolsNerdFont-Regular.woff2") format("woff2");
}