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

Polish the docs theme; rename options #991

Merged
merged 5 commits into from
Dec 2, 2022
Merged

Polish the docs theme; rename options #991

merged 5 commits into from
Dec 2, 2022

Conversation

shuding
Copy link
Owner

@shuding shuding commented Dec 2, 2022

This PR removes the unstable_ prefix for flexsearch, staticImage and the copy button because they're pretty stable and safe to ship in 2.0.

Also I adjusted some shadow, border, and scrollbar styles. And fixed a bug about separators in the sidebar.

Verified

This commit was signed with the committer’s verified signature.
Goooler Zongle Wang
@changeset-bot
Copy link

changeset-bot bot commented Dec 2, 2022

🦋 Changeset detected

Latest commit: a0cbda1

The changes in this PR will be included in the next version bump.

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@vercel
Copy link

vercel bot commented Dec 2, 2022

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated
nextra-theme-docs-dev ✅ Ready (Inspect) Visit Preview Dec 2, 2022 at 1:18AM (UTC)
nextra-v2 ✅ Ready (Inspect) Visit Preview Dec 2, 2022 at 1:18AM (UTC)
1 Ignored Deployment
Name Status Preview Updated
nextra ⬜️ Ignored (Inspect) Dec 2, 2022 at 1:18AM (UTC)

@shuding shuding merged commit d7f2bbc into core Dec 2, 2022
@shuding shuding deleted the shu/9fpz branch December 2, 2022 01:21
tatukoivisto pushed a commit to tatukoivisto/nextra that referenced this pull request Aug 20, 2023
* adjust theme and nextra

* add changeset

* fix lint errors

* rename readingTime

* avoid var conflict
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants