ui: bump asciinema-player from 3.12.1 to 3.13.4 in /ui

[dependabot]

Bumps asciinema-player from 3.12.1 to 3.13.4.

Release notes

Sourced from asciinema-player's releases.

3.13.4

Tiny patch release with just:

• More reliable vertical positioning of text vs background

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

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");
}

Commits

• c88f8cc Bump version
• b82d513 More reliable vertical positioning of text vs background
• 841537f Bump version
• f40fb15 Fix font metrics measurement and text scaling when custom font is used
• 4c3f9bb Prevent page style for pre from interfering with terminal's border-radius
• d1b1731 Bump version
• 50f3c87 Remove erroneous whitespace caused by zero width cells
• 0da476f Ensure page styles don't interfere with default terminal background
• 307dc3e Fix font scaling
• 09ae263 Fix audio duration check (NaN gotcha)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)