site_name: fostr language
nav:
- README.md
- tests/basic.md
- trans/statics.md
- implementation.md

plugins:
- search
- semiliterate:
    ignore_folders: [target, lib]
    exclude_extensions: ['.o', '.hi', '.cmi', '.cmo']
    extract_standard_markdown:
      terminate: <!-- /md -->
theme:
  name: readthedocs
  prev_next_buttons_location: both
extra_css: [extra.css]
markdown_extensions:
- attr_list
- markdown_del_ins
- pymdownx.superfences
- pymdownx.highlight:
    use_pygments: true
- smarty