-
Notifications
You must be signed in to change notification settings - Fork 368
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
Redesign UI and search #277
base: main
Are you sure you want to change the base?
Conversation
Allowed for dynamically changing header size.
Latex support
… redesign-ui-and-search
This looks great! Minor point is that this dep:
Should be marked as optional in package.json because it fails to install on non intel macs |
Okay, I'll fix it soon. Been busy recently |
Okay, should be good now |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
Feel free to merge, looks great! Also lmk if you want me to resolve merge conflicts |
Added:
To come:
Next time I am going to break these down into separate PR's, but let me know if there are any issues so far. Should be small fixes.