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.

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

Change PNGs to SVGs where applicable #739

Open
randomicecube opened this issue May 19, 2022 · 0 comments
Open

Change PNGs to SVGs where applicable #739

randomicecube opened this issue May 19, 2022 · 0 comments
Assignees
Labels
enhancement New feature or request meta Change of content that's not related to any course

Comments

@randomicecube
Copy link
Member

Previously, we used to mostly include PNG/JPG files - SVG files are most certainly better (mainly for diagrams and such), and it would be a great QOL improvement to replace them where applicable.
This is most definitely not urgent, probably something to be done during the summer break.

@randomicecube randomicecube self-assigned this May 19, 2022
@randomicecube randomicecube added enhancement New feature or request meta Change of content that's not related to any course labels May 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request meta Change of content that's not related to any course
Projects
None yet
Development

No branches or pull requests

1 participant