Update documentation

https://github.com/pmd/pmd/actions/runs/6581655901
3b44f93f39...ef57fb643f

css/customstyles.css

@@ -1008,8 +1008,11 @@ span.soft {
 }
 
 @media (min-height: 600px) and (min-width: 990px) {
+    /* sticky sidebar for big screens */
     #mysidebar {
         position: fixed !important;
+        overflow: scroll;
+        height: 80%;
     }
 }
 
@@ -1268,3 +1271,7 @@ h4.panel-title {
 a.edit-header {
     font-size: 15px;
 }
+
+.language-info {
+    margin: 2em;
+}

css/theme-green.css

@@ -87,3 +87,10 @@ li.sidebarTitle {
     margin-bottom:2.5px;
     margin-left:5px;
 }
+
+blockquote {
+    border-left: 5px solid #01c172;
+    padding: 10px 0 10px 1rem;
+    margin: 1rem 0;
+    font-style: italic;
+}

feed.xml

@@ -5,8 +5,8 @@
         <description>Intended as a documentation theme based on Jekyll for technical writers documenting software and other technical products, this theme has all the elements you would need to handle multiple products with both multi-level sidebar navigation, tags, and other documentation features.</description>
         <link>https://docs.pmd-code.org/latest/</link>
         <atom:link href="https://docs.pmd-code.org/latest/feed.xml" rel="self" type="application/rss+xml"/>
-        <pubDate>Fri, 20 Oct 2023 00:44:39 +0000</pubDate>
-        <lastBuildDate>Fri, 20 Oct 2023 00:44:39 +0000</lastBuildDate>
+        <pubDate>Fri, 20 Oct 2023 00:46:35 +0000</pubDate>
+        <lastBuildDate>Fri, 20 Oct 2023 00:46:35 +0000</lastBuildDate>
         <generator>Jekyll v3.9.3</generator>
         
     </channel>