Explain place_id, i.e. shouldn't be use as permanent id

[nominatim.git] / docs / extra.css

.toctree-l3 {
    display: none!important
}