Merge pull request #2905 from lonvia/remove-nominatim-tool-var

[nominatim.git] / docs / extra.css

diff --git a/docs/extra.css b/docs/extra.css
index 136c59a6438121ba5c3c645fb1376cd2feb378d3..3aecf2ef750e2eae298708eb7e2b8b20cdc9d8ac 100644 (file)
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -13,3 +13,12 @@ th, td {
 th {
     background-color: #eee;
 }
+
+.doc-object h6 {
+    margin-bottom: 0.8em;
+    font-size: 120%;
+}
+
+.doc-object {
+    margin-bottom: 1.3em;
+}