]> git.openstreetmap.org Git - nominatim.git/blob - docs/extra.css
fix permalink character
[nominatim.git] / docs / extra.css
1 .toctree-l3 {
2     display: none!important
3 }
4
5 .wy-nav-content {
6     max-width: 900px!important
7 }
8
9 table {
10     margin-bottom: 12pt
11 }
12
13 th, td {
14     padding: 1pt 12pt;
15 }
16
17 th {
18     background-color: #eee;
19 }
20
21 .doc-object h6 {
22     margin-bottom: 0.8em;
23     font-size: 130%;
24 }
25
26 .doc-object {
27     margin-bottom: 1.3em;
28 }
29
30 .doc-children .doc-contents {
31     margin-left: 3em;
32 }
33
34 .md-footer__inner {
35     display: none;
36 }
37
38 .headerlink {
39   filter: grayscale(100%);
40   font-size: 80%;
41 }