i like this website, it shows documentation when hovering the code while i see similar stuffs really rare in web blog areas

I believe you can thank Verso for that:

https://github.com/leanprover/verso