docs: nominatim-ui has a new place for custom config

[nominatim.git] / docs / extra.css

diff --git a/docs/extra.css b/docs/extra.css
index 136c59a6438121ba5c3c645fb1376cd2feb378d3..9289c1d39884909c0d6d4c4a0209f8cec1039c97 100644 (file)
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -13,3 +13,11 @@ th, td {
 th {
     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;
+}*/
+