[randomluck040]

Seems to be Nextra [0] according to the GitHub repository you can find when following the link to the source in the upper right corner of the website.

[0] https://nextra.site/