I'm in love with Zed Editor, and I wanted to get the clean PDF doc so I could read it on my iPad.
Zed doesn't provide a PDF version of their docs, so I thought I could just save each page as PDF one by one. Then I realized that their site has some specific CSS styles that make it difficult to save to PDF—sidebars, navigation bars, and TOC containers that clutter the output. So I added some custom CSS to hide those.
Then I realized I needed to do this for many pages. Like, all of them. And I wanted them merged into a single PDF with a proper table of contents that actually works (clickable bookmarks and everything).
I'm in love with Zed Editor, and I wanted to get the clean PDF doc so I could read it on my iPad.
Zed doesn't provide a PDF version of their docs, so I thought I could just save each page as PDF one by one. Then I realized that their site has some specific CSS styles that make it difficult to save to PDF—sidebars, navigation bars, and TOC containers that clutter the output. So I added some custom CSS to hide those.
Then I realized I needed to do this for many pages. Like, all of them. And I wanted them merged into a single PDF with a proper table of contents that actually works (clickable bookmarks and everything).
So I ended up vibe coding this script.