Updated docs

Docs/docs/getstarted/install.md

@@ -9,6 +9,7 @@ P is built to be cross-platform and can be used on MacOS, Linux, and Windows. We
 The P compiler is implemented in C# and hence the tool chain requires `dotnet`.
 P currently uses the specific version of [.Net SDK 6.0](https://dotnet.microsoft.com/en-us/download/dotnet/6.0).
 
+
 === "MacOS"
 
     Installing .Net SDK on MacOS using Homebrew ([details](https://formulae.brew.sh/cask/dotnet))

Docs/mkdocs.yml

@@ -33,12 +33,18 @@ theme:
       quote: octicons/quote-16
   features:
     - navigation.instant
+    - navigation.tabs
+    - navigation.tabs.sticky
+    - navigation.tracking
+    - navigation.sections
     - navigation.indexes
-    - navigation.expand
     - navigation.top
     - toc.integrate
     - search.suggest
     - search.highlight
+    - content.code.copy
+    - content.tabs.link
+    - toc.follow
 
 # This should be renamed to nav for mkdocs 1.0+
 nav:
@@ -86,13 +92,17 @@ nav:
       - Building from Source: getstarted/build.md
 
 markdown_extensions:
+  - attr_list
+  - md_in_html
+  - pymdownx.superfences
+  - pymdownx.tabbed:
+      alternate_style: true
   - pymdownx.snippets
   - admonition
   - pymdownx.tabbed
   - pymdownx.details
   - pymdownx.highlight
   - pymdownx.critic
-  - attr_list
   - pymdownx.superfences:
       custom_fences:
         - name: mermaid
@@ -102,8 +112,7 @@ markdown_extensions:
   - pymdownx.emoji:
       emoji_index: !!python/name:materialx.emoji.twemoji
       emoji_generator: !!python/name:materialx.emoji.to_svg
-  - toc:
-      toc_depth: 4
+
 
 plugins:
   - search: