diff --git a/docs/src/development/releases.md b/docs/src/development/releases.md index bbb7caf30e183f361e314c36c5dcb773f003b508..39c46f24f0a421155c61775ff4c539a3ff3af8e2 100644 --- a/docs/src/development/releases.md +++ b/docs/src/development/releases.md @@ -1,8 +1,8 @@ # Zed Releases -Read about Zed's release channels [here](https://zed.dev/faq#what-are-the-release-channels). +Read about Zed's [release channels here](https://zed.dev/faq#what-are-the-release-channels). -## Wednesday release process +## Wednesday Release Process You will need write access to the Zed repository to do this. @@ -59,7 +59,7 @@ Credentials for various services used in this process can be found in 1Password. 1. Store any media created in the `Feature Media` directory in our Google Drive. Other team members may want to reference or use these later on. -## Patch release process +## Patch Release Process If your PR fixes a panic or a crash, you should cherry-pick it to the current stable and preview branches. If your PR fixes a regression in recently released code, you should cherry-pick it to preview. diff --git a/docs/theme/css/general.css b/docs/theme/css/general.css index 138a3a325b8a975ca36fb63dee09dc7893137a14..df20d35b53ebb173140e63ebfa0175236236ee14 100644 --- a/docs/theme/css/general.css +++ b/docs/theme/css/general.css @@ -127,6 +127,14 @@ h6:target::before { width: 30px; } +hr { + border: 0px solid; + color: transparent; + width: 100%; + height: 1px; + background-color: var(--border-light); +} + /* This is broken on Safari as of version 14, but is fixed in Safari Technology Preview 117 which I think will be Safari 14.2. https://bugs.webkit.org/show_bug.cgi?id=218076 diff --git a/docs/theme/page-toc.css b/docs/theme/page-toc.css index af9b2fbbe1202c51a7803333a7d35311e9b00574..c8210e9a29fbda26f00cf6cc7639969a7b6ffd45 100644 --- a/docs/theme/page-toc.css +++ b/docs/theme/page-toc.css @@ -19,9 +19,7 @@ top: 64px; width: 220px; height: calc(100vh - var(--menu-bar-height) - 0.67em * 4); - padding-top: 80px; - margin-right: 16px; - padding-bottom: 40px; + padding: 80px 16px 40px 0; overflow: auto; } .pagetoc > :last-child {