mirror of
https://github.com/encounter/zed.git
synced 2026-03-30 11:44:33 -07:00
Danilo Leal
7180880047
This PR adds several design tweaks to elements of the documentation, most notably swapping the heading title font from `PPAgrandir` to `Lora`, which makes the docs consistent with the new website. Aside from this, there's also some tiny, low-hanging content adjustments to a few pages. --- Release Notes: - N/A