[Geocoding] Documentation and issue #809

[Sarah Hoffmann]

On Sat, Apr 25, 2020 at 11:16:03AM +0100, Sarah Hoffmann wrote:
> Hi Rahul,
> 
> On Fri, Apr 24, 2020 at 03:48:01PM +0530, K Rahul Reddy wrote:
> > The Advanced installations
> > <https://nominatim.org/release-docs/develop/admin/Advanced-Installations/>
> > documentation page has some color issues(screenshots attached). These did
> > not exist in my local build. Is there any way of solving them?
> 
> That's an old version of mkdocs. I'm on it.

The new version of mkdocs has fixed the colors but it breaks your
nice file tree. :( The reason it looks different from yours at
home is that I've installed pygments[1] in the server. Usually
that's what we want because the highlighting makes the
code snippets more readable. The problem is that I just can't see
to convince it to not format the file tree code block. Maybe you
can find a way. If not, we have to disable pygements again.

[1] https://python-markdown.github.io/extensions/code_hilite/#step-1-download-and-install-pygments

Sarah