From e0253015187b1a033bdcdc76009aadbb782ea572 Mon Sep 17 00:00:00 2001
From: Stefano Ottolenghi <stefano.ottolenghi@neo4j.com>
Date: Mon, 14 Aug 2023 11:05:59 +0200
Subject: [PATCH] Improve `details` tag style. (#187)

---
 src/css/doc.css | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/css/doc.css b/src/css/doc.css
index f2641a50..d8588356 100644
--- a/src/css/doc.css
+++ b/src/css/doc.css
@@ -1252,6 +1252,8 @@ body {
   font-weight: bold;
 }
 
-.doc details div.content {
-  margin: 0.5rem 0 0 1.5rem;
+.doc details > div.content {
+  margin: 0.5rem 0 0 0.25rem;
+  border-left: 1px dashed var(--color-grey-300);
+  padding-left: 1rem;
 }