]> git.openstreetmap.org Git - nominatim.git/blobdiff - docs/mkdocs.yml
check_import_finished: check for invalid indices
[nominatim.git] / docs / mkdocs.yml
index d87fda7a7e9d42c4b227d0cfdb67c44b6b646dc3..5cf63f83414e2319622a8a80e772692b16d18cca 100644 (file)
@@ -22,6 +22,7 @@ pages:
         - 'Overview' : 'develop/overview.md'
         - 'OSM Data Import' : 'develop/Import.md'
         - 'Place Ranking' : 'develop/Ranking.md'
+        - 'Postcodes' : 'develop/Postcodes.md'
         - 'Documentation' : 'develop/Documentation.md'
     - 'External Data Sources':
         - 'Overview' : 'data-sources/overview.md'
@@ -34,8 +35,7 @@ pages:
         - 'Installation on Ubuntu 16' : 'appendix/Install-on-Ubuntu-16.md'
         - 'Installation on Ubuntu 18' : 'appendix/Install-on-Ubuntu-18.md'
 markdown_extensions:
-    - codehilite:
-        use_pygments: False
+    - codehilite
     - toc:
         permalink: 
-extra_css: [extra.css]
+extra_css: [extra.css, styles.css]