From 2ae67e0fe1da064e25e0e2dbbb97748af4b0eb7e Mon Sep 17 00:00:00 2001
From: Opencast Docs Bot <cloud@opencast.org>
Date: Fri, 27 Oct 2023 15:58:21 +0000
Subject: [PATCH] Build of develop from Fri Oct 27 15:58:21 UTC 2023

---
 develop/admin/css/extra.css      |   7 +++++++
 develop/admin/index.html         |   2 +-
 develop/admin/sitemap.xml.gz     | Bin 127 -> 127 bytes
 develop/commit                   |  33 +++++--------------------------
 develop/developer/index.html     |   2 +-
 develop/developer/sitemap.xml.gz | Bin 127 -> 127 bytes
 6 files changed, 14 insertions(+), 30 deletions(-)

diff --git a/develop/admin/css/extra.css b/develop/admin/css/extra.css
index 684a236004..5784bfc2a2 100644
--- a/develop/admin/css/extra.css
+++ b/develop/admin/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;
diff --git a/develop/admin/index.html b/develop/admin/index.html
index f07a69be7a..943a83a985 100644
--- a/develop/admin/index.html
+++ b/develop/admin/index.html
@@ -808,5 +808,5 @@ <h2 id="release-documentation">Release Documentation</h2>
 </html>
 <!--
 MkDocs version : 1.5.3
-Build Date UTC : 2023-10-27 14:49:50.462530+00:00
+Build Date UTC : 2023-10-27 15:58:01.610453+00:00
 -->
\ No newline at end of file
diff --git a/develop/admin/sitemap.xml.gz b/develop/admin/sitemap.xml.gz
index 315d931ebd2ab9c6aafba4c84b731e5ea0fae7f0..c98d40739669ddd6328008a77a7b45befe3abc9d 100644
GIT binary patch
delta 12
Tcmb=gXOr*d;NZMBk*yK{7i9ys

delta 12
Tcmb=gXOr*d;NUwqk*yK{7d`{4

diff --git a/develop/commit b/develop/commit
index 3934382ca1..bae79677ae 100644
--- a/develop/commit
+++ b/develop/commit
@@ -1,30 +1,7 @@
-commit 0f36ec7f9b524c035ead1acd55c0cc585aa1e8b5
-Author: Katrin Ihler <ihler@elan-ev.de>
-Date:   Fri Oct 27 16:49:15 2023 +0200
+commit d1deaf35091125330fbb9f117038c63d099637eb
+Author: Daniel Ziegenberg <daniel@ziegenberg.at>
+Date:   Fri Oct 27 17:57:24 2023 +0200
 
-    Update Editor to 2023-10-17 (#5340)
+    Re-add details css for docs (reverts part of PR 5359) (#5367)
     
-    The biggest (and most obvious) change is the graphical redesign, akin to
-    #5318. Furthermore, this also makes the editor work with the changes to
-    subtitles coming with Opencast 15.
-    
-    This goes into develop as most agreed that the redesign is too big of a
-    change to release it as a minor version.
-    
-    Known major issues (may or may not be related to this release):
-    - opencast/opencast-editor#1154
-    - opencast/opencast-editor#1161
-    
-    ### Your pull request should…
-    
-    * [ ] have a concise title
-    * [ ] [close an accompanying
-    issue](https://help.github.com/en/articles/closing-issues-using-keywords)
-    if one exists
-    * [ ] [be against the correct
-    branch](https://docs.opencast.org/develop/developer/development-process#acceptance-criteria-for-patches-in-different-versions)
-    * [ ] include migration scripts and documentation, if appropriate
-    * [ ] pass automated tests
-    * [ ] have a clean commit history
-    * [ ] [have proper commit messages (title and body) for all
-    commits](https://medium.com/@steveamaza/e028865e5791)
+    See discussion at #5359.
diff --git a/develop/developer/index.html b/develop/developer/index.html
index fc18e9138d..89e290cc8b 100644
--- a/develop/developer/index.html
+++ b/develop/developer/index.html
@@ -402,5 +402,5 @@ <h1 id="opencast-development-guides">Opencast Development Guides</h1>
 </html>
 <!--
 MkDocs version : 1.5.3
-Build Date UTC : 2023-10-27 14:49:52.948110+00:00
+Build Date UTC : 2023-10-27 15:58:04.128900+00:00
 -->
\ No newline at end of file
diff --git a/develop/developer/sitemap.xml.gz b/develop/developer/sitemap.xml.gz
index 97b98afa93ff7719d96acdd2bf8e051497cfbbc4..1b1d927f598c8e82e8cd73e437c94d71dae3d4af 100644
GIT binary patch
delta 12
Tcmb=gXOr*d;NZD8k*yK{7jy%;

delta 12
Tcmb=gXOr*d;1D=Bk*yK{7f1uG