Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Channel font is not changing in docs #319

Open
vladdez opened this issue Feb 11, 2025 · 4 comments
Open

Channel font is not changing in docs #319

vladdez opened this issue Feb 11, 2025 · 4 comments
Assignees
@behinger
Labels
bug Something isn't working

Comments

@vladdez
Copy link
Collaborator

vladdez commented Feb 11, 2025 •
edited
Loading

Describe the bug
here the channel labels should have different font, but they are not. While they perfectly change on desktop.

They also change here: link.

Screenshots

Image

How it should be:
Image

Versions:

  • Julia: v1.11.2
  • UnfoldMakie: 0.5.13
@vladdez vladdez added the bug Something isn't working label Feb 11, 2025
@vladdez vladdez changed the title Font is not changing Channel font is not changing in docs Feb 11, 2025
@vladdez vladdez assigned vladdez and behinger and unassigned vladdez Feb 12, 2025
@behinger
Copy link
Member

with desktop you mean if you run it outside of documenter?

@behinger
Copy link
Member

have you tried another font, maybe courier new is just not in github installed?

@vladdez
Copy link
Collaborator Author

vladdez commented Feb 13, 2025

with desktop you mean if you run it outside of documenter?

on NoMachine

@behinger
Copy link
Member

and my second question, have you checked that courier new is available in the github action?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@behinger behinger

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@behinger @vladdez