This pull-request removes the light-switch at the top right:
as I feel it gives too much choice for an official website. Also I would remove the "Fork Me On GitHub!" button, eventually, as I though it would lead to https://gitlab.com/tezos/tezos , but that is through this button that I found the repository of this website.
This pull-request removes the light-switch at the top right:
as I feel it gives too much choice for an official website. Also I would remove the "Fork Me On GitHub!" button, eventually, as I though it would lead to https://gitlab.com/tezos/tezos , but that is through this button that I found the repository of this website.
Also, I was making a new page with Docusaurus for a Coq project at Nomadic Labs https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/42 , so the two websites look very similar! At least I am not alone I guess.