docs: Add stray design tweaks (#38835)

Tiny little improvements opportunities I noticed today while browsing
the docs.

Release Notes:

- N/A
This commit is contained in:
Danilo Leal 2025-09-24 21:10:42 -03:00 committed by GitHub
parent 8fc7bd9ae8
commit a5fb290252
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 12 additions and 6 deletions

View file

@ -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.

View file

@ -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

View file

@ -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 {