site_name: Granite Language Documentation 
theme:
  name: mkdocs
  color_mode: dark
nav:
  - Home: 'index.md'
  - 'Guidebook':
    - 'Syntax introduction': 'syntax-intro.md'
    - 'Manipulating values': 'manipulating-values.md'
    - 'Jumps and labels': 'jumps-labels.md'
    - 'Taking input from the user': 'taking-input.md'
    - 'Finishing touches!': 'finishing-touches.md'
  - 'Further concepts':
    - 'Type checking': 'type-checking.md'
    - 'Subroutines': 'subroutines.md'
    - 'Value cloning': 'value-cloning.md'
    - 'Dropping variables': 'dropping-variables.md'
  - 'Operation reference': 'reference.md'