]> git.openstreetmap.org Git - nominatim.git/blob - docs/extra.css
Merge pull request #3006 from biswajit-k/generalize-filter
[nominatim.git] / docs / extra.css
1 .toctree-l3 {
2     display: none!important
3 }
4
5 table {
6     margin-bottom: 12pt
7 }
8
9 th, td {
10     padding: 1pt 12pt;
11 }
12
13 th {
14     background-color: #eee;
15 }
16
17 .doc-object h6 {
18     margin-bottom: 0.8em;
19     font-size: 120%;
20 }
21
22 .doc-object {
23     margin-bottom: 1.3em;
24 }