-
-
Notifications
You must be signed in to change notification settings - Fork 157
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
docs!: use mdbook, add css filters documentation #1445
base: main
Are you sure you want to change the base?
Conversation
I think we still need a better way of surfacing the tips somehow, not sure what the best way is. When new contributors are writing a userstyle their first instinct is most likely not to check tips and tricks lol. |
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.
Thoughts on having a single docs/tips-and-tricks.md
instead of a tips
folder with multiple entries?
I mean that's what we have now, but I don't like it. Some of these examples/tips/triks are getting super long, and the doument as a whole is getting long as we add more tips. I would love an Mdbook of these and the rest of the docs actually if possible, but that might be something for later. |
Alright. I'd rename the |
Blame it on my sticky C key...
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.
Re:
Userstyles labeled with the "🚧" emoji are looking for maintainers, and may
not work as intended. Contributions are still welcome and encouraged. If you
would like to become a maintainer, follow the instructions outlined in
"Adding yourself as a maintainer."
Instead of updating the link to be the new github link should we not point to the mdbook?
Closes #1089. Thanks @Papweer for the generated palette! Much appreciated.