Build of develop from Fri Oct 27 15:58:21 UTC 2023

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;

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
 -->

develop/commit

@@ -1,30 +1,7 @@
-commit 0f36ec7f9b524c035ead1acd55c0cc585aa1e8b5
-Author: Katrin Ihler <[email protected]>
-Date:   Fri Oct 27 16:49:15 2023 +0200
+commit d1deaf35091125330fbb9f117038c63d099637eb
+Author: Daniel Ziegenberg <[email protected]>
+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.

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
 -->