search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.55k stars 466 forks source link

Feature/docusaurus post launch #6193

Closed joseph-fajen closed 3 weeks ago

joseph-fajen commented 3 weeks ago

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

@ana-pantilie and @effectfully
I suspect that this branch here, intended only to push changes to the doc site, has somehow pulled in some of your code. If we need to avoid that, I want to find a fix rather than push your code through this branch pull request. I'll add you as a reviewer so that you can let me know if we need to stop this PR and approach it differently.

effectfully commented 3 weeks ago

Well, actually, in that case it's probably simply git revert 5e29c87.