allow nginx to serve files without php extensions

[nominatim.git] / docs / extra.css

.toctree-l3 {
    display: none!important
}