Update manifest installation guide, fix theme highlighting & spec table#4066

Merged

lucacome merged 8 commits intomainfrom docs/update-manifest-installation

Jul 11, 2023

+139-121

Commits on Jun 28, 2023

Update manifest installation guide, fix theme highlighting & spec table
ADubhlaoich
committed
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]
committed
Merge branch 'main' into docs/update-manifest-installation
ADubhlaoich
authored

Commits on Jul 3, 2023

Merge branch 'main' into docs/update-manifest-installation
ADubhlaoich
authored

Commits on Jul 4, 2023

Merge branch 'main' into docs/update-manifest-installation
ADubhlaoich
authored

Commits on Jul 6, 2023

Merge branch 'main' into docs/update-manifest-installation
ADubhlaoich
authored

Commits on Jul 10, 2023

Fixes duplicated word in manifest install guide
jputrino
authored

Commits on Jul 11, 2023

Merge branch 'main' into docs/update-manifest-installation
ADubhlaoich
authored