mkdocs.insiders.yml

INHERIT: mkdocs.yml
plugins:
  - juvix
  - offline:
      enabled: !ENV [OFFLINE, false]

  - search:
      # lang: en
      separator: '[\s\-,:!=\[\]()"`/]+|\.(?!\d)|&[lg]t;|(?!\b)(?=[A-Z][a-z])'
      pipeline:
        - stemmer
        - stopWordFilter
        - trimmer
  - social
  - tags
  - redirects:
      redirect_maps:
        'index.md': 'README.juvix.md'
  - blog:
      enabled: !ENV [BLOG, true]
      blog_dir: blog
      blog_toc: true
      draft: false
      authors: true
      authors_file: blog/.authors.yml
      draft_on_serve: true
      post_dir: "{blog}/posts"
      post_date_format: short
      post_readtime: true
      post_url_date_format: yyyy/MM/dd
      post_url_format: "{file}"
      archive: true
      archive_name: Archive
      categories: true
      categories_name: Categories
      pagination: true
      # pagination_per_page: 1
      pagination_keep_content: false
  - git-revision-date-localized:
      type: timeago
      custom_format: "%d. %B %Y"
      timezone: Europe/Oslo
      locale: en
      fallback_to_build_date: false
      enable_creation_date: true
      exclude:
        - index.juvix.md
        - overview.md
        - CHANGELOG.md
        - CONTRIBUTING.md
        - LICENSE.md
      enabled: true
      strict: true
  - rss:
      match_path: blog/posts/.*
      date_from_meta:
        as_creation: date
      categories:
        - categories
        - tags

  - mike:
      canonical_version: latest
      version_selector: true
      css_dir: docs/assets/css
      javascript_dir: docs/assets/js

extra:
  homepage: https://docs.juvix.org
  generator: false
  version:
    provider: mike

  social:
    - icon: fontawesome/brands/github
      link: https://github.com/anoma/juvix
    - icon: fontawesome/brands/x-twitter
      link: https://x.com/juvixlang
    - icon: fontawesome/solid/blog
      link: https://anoma.net/blog
    - icon: fontawesome/brands/discourse
      link: https://research.anoma.net
    - icon: fontawesome/brands/youtube
      link: https://youtube.com/anoma
    - icon: material/email
      link: mailto:arts@heliax.dev

  analytics:
    provider: google
    property: G-9R2Q766R16
    feedback:
      title: Was this page helpful?
      ratings:
        - icon: material/heart
          name: This page was helpful
          data: 1
          note: >-
            Thanks for your feedback!
        - icon: material/heart-broken
          name: This page could be improved
          data: 0
          note: >-
            Thanks for your feedback! Help us improve this page by opening an issue on GitHub.