mkdocs.yml

site_name: RiverBench
site_description: RiverBench is an open, community-driven RDF streaming benchmark suite.
site_url: https://riverbench.github.io/v/

plugins:
  - search
  - include-markdown
  - macros
  - mike:
      deploy_prefix: v
      canonical_version: latest

hooks:
  - hooks/fix_title.py

markdown_extensions:
  - attr_list
  - md_in_html
  - admonition
  - pymdownx.highlight:
      anchor_linenums: true
      line_spans: __span
      pygments_lang_class: true
  - pymdownx.inlinehilite
  - pymdownx.snippets
  - pymdownx.details
  - pymdownx.superfences
  - pymdownx.emoji:
      emoji_index: !!python/name:material.extensions.emoji.twemoji
      emoji_generator: !!python/name:material.extensions.emoji.to_svg
      options:
        custom_icons:
          - overrides/icons
  - pymdownx.tabbed:
      alternate_style: true

repo_url: https://github.com/RiverBench/RiverBench
repo_name: RiverBench/RiverBench

theme:
  name: material
  custom_dir: overrides
  features:
    # Behave like an SPA
    - navigation.instant
    # Update anchors in the address bar
    - navigation.tracking
    - navigation.top
    - navigation.indexes
    - toc.follow
    - search.suggest
    - search.highlight
    - content.code.copy

  palette: 
    # Palette toggle for light mode
    - media: "(prefers-color-scheme: light)"
      scheme: default
      toggle:
        icon: material/brightness-7 
        name: Switch to dark mode

    # Palette toggle for dark mode
    - media: "(prefers-color-scheme: dark)"
      scheme: slate
      toggle:
        icon: material/brightness-3
        name: Switch to light mode

  logo: assets/riverbench_vector_icon_white.png
  favicon: assets/riverbench_vector_icon.png
  icon:
    repo: fontawesome/brands/github

extra_css:
  - stylesheets/extra.css

extra:
  version:
    provider: mike
    default: 
      - latest
      - stable
  social:
    - icon: fontawesome/brands/github
      link: https://github.com/RiverBench
      name: RiverBench on GitHub