Feature/docusaurus post launch

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.57k stars 480 forks source link

Closed joseph-fajen closed 3 months ago

joseph-fajen commented 3 months ago

Adding styling updates from Andrew Larbi. Changing 'Documentation' to 'User guide' in the upper left area next to the 'PLUTUS' wordmark logo.