New website design

[ocots]

Please, take a look to our new website design: https://control-toolbox.org

@jbcaillau @PierreMartinon @joseph-gergaud @BaptisteCbl

[jbcaillau]

awesome @ocots 🫢👍🏽

a few things:

• replace the (times?) font of the title by the standard (mixing the two looks a bit weird)
  
• not sure it makes sense to show the hierarchy of repos here
  
  (whereas it is informative in the README of the main repo)
• @PierreMartinon the certificate of bocop.org site needs to be updated

[ocots]

Done!

[jbcaillau]

@ocots @PierreMartinon @joseph-gergaud we need to revise a few things (cf. current issues in the ct repos), then make an 1.0 release and go to the general registry.

[jbcaillau]

@ocots Documenter 1.0 is out: check this post

[jbcaillau]

@ocots a few things regarding the documentation:

• Documenter does the job nicely (but rather heavy to run with github CI)
• a bit worried about the possible removal of $...$ for inline math (whereas these are now standard in github, see this post)
• more generally the more standard markdown we can use, the better it is (as with MathJax)
• not like in Hugo where \\( ... \\) must be used for inline math 💩(see here)