Always delete old placex entry for type=postcode when inserting a new one into the...

[nominatim.git] / docs / extra.css

diff --git a/docs/extra.css b/docs/extra.css
index a8c3a1c86269aa128619eb6d9fe3b49f299d1c04..136c59a6438121ba5c3c645fb1376cd2feb378d3 100644 (file)
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -1,3 +1,15 @@
 .toctree-l3 {
     display: none!important
 }
 .toctree-l3 {
     display: none!important
 }

+
+table {
+    margin-bottom: 12pt
+}
+
+th, td {
+    padding: 1pt 12pt;
+}
+
+th {
+    background-color: #eee;
+}