This is formatted using a program called mdBook, a tool in rust for converting markdown to HTML books: https://github.com/rust-lang/mdBook