baseURL = 'https://example.org/'
languageCode = 'en-us'
title = 'Formal Methods Tools'
theme = 'fmtools'

[menus]
  main = [
    { name = 'Home', url = '/', weight = 1 },
    { name = 'Tools', url = '/tools/', weight = 2 },
    { name = 'Taxonomies', url = '/taxonomies/', weight = 3 },
    { name = 'About', url = '/about/', weight = 4 }
  ]

[taxonomies]
  purpose = 'purposes'
  technique = 'techniques'
  domain = 'domains'
  language = 'languages'
  system = 'systems'
  interaction = 'interactions'
  formalism = 'formalisms'
  developer = 'developers'