site_name: SpirHAL
theme: readthedocs
markdown_extensions:
  - toc:
      permalink: "#"