mkdocs-stable.yml

site_name: 'Binary Ninja User Documentation'
site_url: 'https://docs.binary.ninja/'
repo_url: 'https://binary.ninja/'
repo_name: 'github'
site_description: 'Documentation for the Binary Ninja reverse engineering platform'
site_author: 'Vector 35 Inc'
google_analytics: ['UA-72420552-3', 'docs.binary.ninja' ]
use_directory_urls: False
extra_css: [ 'docs.css?1585271138', 'lightslider.min.css?1585271138', 'github.min.css' ]
#extra_css: [ 'docs.css?1585271138', 'lightslider.min.css?1585271138']
extra_javascript: ['lightslider.min.js?1585271138', 'highlight.min.js', 'cpp.min.js', 'python.min.js']
theme:
    name: readthedocs
    favicon: 'img/favicon.ico'
    highlightjs: false
    shortcuts:
        help: 191    # ?
        next: 78     # n
        previous: 80 # p
        search: 191   # ? / /

        copyright: '(<a href="https://creativecommons.org/licenses/by/3.0/">cc</a>) <a href="https://vector35.com/">Vector 35 Inc</a>'

plugins:
    - search
    - htmlproofer

use_directory_urls: False

markdown_extensions:
    - codehilite
    - admonition
    - toc:
        permalink: True

nav:
    - Home: 'index.md'
    - Getting Started Guide: 'getting-started.md'
    - User Guide:
        #- Installing: 'guide/installing.md'
        #- Running: 'guide/running.md'
        #- Interface: 'guide/interface.md'
        #- Patching: 'guide/patching.md'
        #- SCC: 'guide/scc.md'
        - Using Plugins: 'guide/plugins.md'
        - Troubleshooting: 'guide/troubleshooting.md'
        - Working with Types: 'guide/type.md'
        - Using Debugger (Beta): 'guide/debugger.md'
    - Developer Guide:
        - Using the API: 'dev/api.md'
        - Writing Python Plugins: 'dev/plugins.md'
        - Batch / Headless Automation: 'dev/batch.md'
        - BNIL Guide&#58; Overview: 'dev/bnil-overview.md'
        - BNIL Guide&#58; LLIL: 'dev/bnil-llil.md'
        - BNIL Guide&#58; MLIL: 'dev/bnil-mlil.md'
        - Flag Guide: 'dev/flags.md'
        - Creating Themes: 'dev/themes.md'
        - Contributing Documentation: 'dev/documentation.md'
    - About:
        - License: 'about/license.md'
        - Open Source: 'about/open-source.md'

extra:
    disablesearch: True
    logo: 'images/logo.png'