mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-29 12:38:02 +00:00
af24967195
To ease navigating on pages that are long and having a birds-eye view of all the available content. This is done client-side and done via the files initially generated by the `mdbook-pagetoc` plugin ([crates.io link here](https://crates.io/crates/mdbook-pagetoc)). <img width="600" alt="Screenshot 2024-07-25 at 13 34 08" src="https://github.com/user-attachments/assets/a78c69e5-8cc4-4414-9d9c-27a4ceb27620"> --- Release Notes: - N/A --------- Co-authored-by: Marshall Bowers <elliott.codes@gmail.com> |
||
---|---|---|
.. | ||
chrome.css | ||
general.css | ||
variables.css |