Files
Yuri Sizov c03229cd9d Port layout changes from the master version
This also updates the index page, changes the first
sidebar section to be "About" without an extra level,
and renames "Tutorials" to "Manual"

(cherry picked from commit 0c100d9f14)
2023-09-20 14:02:23 +02:00
..