Vagrant centos8: proj52 not needed, use postgresql 12/postgis 3.0

[nominatim.git] / docs / extra.css

.toctree-l3 {
    display: none!important
}