Branch: refs/heads/master
Home: https://github.com/pmd/pmd
Commit: f980c1f17bac399cf31bbd0decbbb3d85cce1b22
https://github.com/pmd/pmd/commit/f980c1f17bac399cf31bbd0decbbb3d85cce1b22
Author: Andreas Dangel <andreas.dan...@pmd-code.org>
Date: 2023-08-10 (Thu, 10 Aug 2023)
Changed paths:
M docs/_config.yml
M docs/_layouts/page.html
M docs/css/customstyles.css
M docs/js/customscripts.js
M docs/pages/release_notes.md
Log Message:
-----------
[doc] Make side fixed only for big screens
Also wrap the inline-toc in an accordion to
save some space.
Remove some of the unneeded javascript.
Fixes #4521
Commit: 9aa81016b025511b63bc06d6ded57a09edc23c22
https://github.com/pmd/pmd/commit/9aa81016b025511b63bc06d6ded57a09edc23c22
Author: Juan Martín Sotuyo Dodero <juansot...@gmail.com>
Date: 2023-08-22 (Tue, 22 Aug 2023)
Changed paths:
M docs/_config.yml
M docs/_layouts/page.html
M docs/css/customstyles.css
M docs/js/customscripts.js
M docs/pages/release_notes.md
Log Message:
-----------
Merge pull request #4643 from adangel/issue-4521-mobile-website
[doc] Make side fixed only for big screens
Compare: https://github.com/pmd/pmd/compare/8681e8d7f93d...9aa81016b025
_______________________________________________
Pmd-commits mailing list
Pmd-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/pmd-commits
