Comment by martin_dd

That's right! It's a custom HTML renderer with custom css and client-side js for navigation and search.