X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/7282d816c8d70fa70e199ec8e4b5b679fbaa1caa..4825a0bda3e2b5d6a9c153b7cd0b8da2959cbc81:/mkdocs.yml?ds=sidebyside diff --git a/mkdocs.yml b/mkdocs.yml index c5f9b7bd..6a24e816 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -1,8 +1,12 @@ site_name: Nominatim Manual theme: + font: false name: material features: - navigation.tabs + - toc.integrate + plugins: + - privacy copyright: Copyright © Nominatim developer community docs_dir: docs site_url: https://nominatim.org @@ -22,8 +26,7 @@ nav: - 'Basic Installation': 'admin/Installation.md' - 'Import' : 'admin/Import.md' - 'Update' : 'admin/Update.md' - - 'Deploy (Python frontend)' : 'admin/Deployment-Python.md' - - 'Deploy (PHP frontend)' : 'admin/Deployment-PHP.md' + - 'Deploy' : 'admin/Deployment-Python.md' - 'Nominatim UI' : 'admin/Setup-Nominatim-UI.md' - 'Advanced Installations' : 'admin/Advanced-Installations.md' - 'Maintenance' : 'admin/Maintenance.md' @@ -35,6 +38,7 @@ nav: - 'Overview': 'customize/Overview.md' - 'Import Styles': 'customize/Import-Styles.md' - 'Configuration Settings': 'customize/Settings.md' + - 'API Result Formatting': 'customize/Result-Formatting.md' - 'Per-Country Data': 'customize/Country-Settings.md' - 'Place Ranking' : 'customize/Ranking.md' - 'Importance' : 'customize/Importance.md' @@ -67,10 +71,12 @@ markdown_extensions: alternate_style: true - def_list - toc: - permalink:  + toc_depth: 4 + permalink: 🔗 extra_css: [extra.css, styles.css] exclude_docs: | mk_install_instructions.py +site_dir: site-html plugins: - search - mkdocstrings: