Correctly set up navigation

gen_docs.sh

@@ -3,7 +3,7 @@
 cat README.md | grep -v 'pysr_logo.svg' | grep -E -v '\<.*div.*\>' > docs/index.md
 # Transform "## Test status" to "**Test status**":
 cd docs
-sed -i.bak 's/\#\# Test status/**Test status**/g' index.md
+sed -i.bak 's/\#\#\# Test status/**Test status**/g' index.md
 # Change '# ' to '## ':
 sed -i.bak '10,$s/^\# /## /g' index.md
 python generate_papers.py

mkdocs.yml

@@ -8,6 +8,15 @@ theme:
   icon:
     repo: fontawesome/brands/github-alt
 
+nav:
+  - index.md
+  - options.md
+  - operators.md
+  - examples.md
+  - Reference:
+    - api.md
+    - api-advanced.md
+
 extra:
   homepage: https://astroautomata.com/PySR
 
@@ -29,9 +38,12 @@ plugins:
             docstring_style: numpy
             merge_init_into_class: True
             # docstring_options
-            separate_signature: True
+            # separate_signature: True
+            show_bases: false
 
 markdown_extensions:
+  - toc:
+      permalink: true
   - attr_list
   - md_in_html
   - pymdownx.highlight: