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

Fix and update theme #52

Draft

mikucionisaau wants to merge 3 commits into main from theme

Member

mikucionisaau commented Jan 19, 2024 •

edited

Loading

consider upgrading to Relearn
Fix the main font
Change code listing font (JetBrainsMono)
Fix "add to clipboard" over code snippets
Add Uppaal logo
Fix navigation toolbar to collapse items by default
Update jQuery (see two moderate vulnerabilities in Security tab on this repo)

mikucionisaau added 3 commits

January 19, 2024 11:34


          fixed font weight/thickness

017c31b


          Set JetBrainsMono font for code listings

57941fe


          Increased the code length to 25 for the "Copy-to-Clipboard" icon to a…

b39599a

…ppear

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

Labels

None yet