Update mkdocs.yml

Author: aafulei

mkdocs.yml

@@ -28,11 +28,23 @@ nav:
     - Getting Started: getting-started.md
     - Testing: testing.md
     - Build System: build-system.md
-  - Technical Details: technical-details.md
+  - Technical Details:
+    - Single Source of Truth: single-source-of-truth.md
+    - Makefile Details: makefile-details.md
+    - Ready for Deployment: ready-for-deployment.md
   - Code Reference: doxygen/html/index.html
 
 plugins:
   - search
 
 extra_css:
   - css/mkdocs-custom.css
+
+markdown_extensions:
+  - pymdownx.highlight:
+      anchor_linenums: true
+      line_spans: __span
+      pygments_lang_class: true
+  - pymdownx.inlinehilite
+  - pymdownx.snippets
+  - pymdownx.superfences