Skip to content

PDF books: fix font issue #880

Open
Open
PDF books: fix font issue#880
Labels
website infrastructure
@gusthoff

Description

@gusthoff
gusthoff
opened on May 19, 2023

Font "clashes" in the index:

font_issue

This issue only affects PDF documents.

Metadata

Metadata

Assignees

No one assigned

    Labels

    website infrastructure

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions