Update documentation

https://github.com/pmd/pmd/actions/runs/2033975330 59b36b6185...3d72a0dcd7
2022-03-24 11:42:13 +00:00
parent 7b45481ecd
commit cca1f07bd3
125 changed files with 6416 additions and 4510 deletions
--- a/css/pmd-customstyles.css
+++ b/css/pmd-customstyles.css
@@ -21,6 +21,10 @@
    width: 100%;
 }

+header {
+    margin-top: 40px;
+}
+
 details {
    border-radius: 3px;
    background: #EEE;