They are using astro starlight for their docs page and using astro itself in number of their landing pages.