Re-add details css for docs (reverts part of PR 5359) (opencast#5367)

See discussion at opencast#5359.
ziegenberg · Oct 27, 2023 · d1deaf3 · d1deaf3
2 parents 0f36ec7 + e2ebabb
commit d1deaf3
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/docs/guides/admin/docs/css/extra.css b/docs/guides/admin/docs/css/extra.css
@@ -160,6 +160,13 @@ a.header-link:hover {
     opacity: 1;
 }
 
+details {
+  border-left: 2px solid silver;
+  padding: 5px;
+  margin-bottom: 10px;
+  margin-left: 10px;
+}
+
 details summary {
   color: darkblue;
   cursor: pointer;