Update documentation

https://github.com/pmd/pmd/actions/runs/1265193415 1a6d60aead...8a6bb312e1
2021-09-23 09:30:57 +00:00
parent 772e8b2e3b
commit c7715c3437
123 changed files with 1081 additions and 130 deletions
--- a/css/customstyles.css
+++ b/css/customstyles.css
@@ -1177,3 +1177,8 @@ h4.panel-title {
    padding-top: 0px;
    margin-top: 0px;
 }
+
+.post-content .all-contributors-list img {
+    width: 100px;
+    height: 100px;
+}