use place_to_be_deleted when force deleting objects

[nominatim.git] / docs / extra.css

diff --git a/docs/extra.css b/docs/extra.css
index 9289c1d39884909c0d6d4c4a0209f8cec1039c97..3aecf2ef750e2eae298708eb7e2b8b20cdc9d8ac 100644 (file)
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -14,10 +14,11 @@ th {
     background-color: #eee;
 }
 
     background-color: #eee;
 }
 

-/* Indentation for mkdocstrings.
-div.doc-contents:not(.first) {
-  padding-left: 25px;
-  border-left: 4px solid rgba(230, 230, 230);
-  margin-bottom: 60px;
-}*/
+.doc-object h6 {
+    margin-bottom: 0.8em;
+    font-size: 120%;
+}

 
 

+.doc-object {
+    margin-bottom: 1.3em;
+}