3 Commits

Author SHA1 Message Date
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
Yuri Sizov
e1edd96070 Add a link to doc writing guidelines to the header (#5947)
(cherry picked from commit 21f92e43d6)
2022-08-08 20:23:56 +02:00
StraToN
54c3b3e98a Adds a breadcrumb template to manage hiding 'Edit on Github' link.
To work, requires adding a meta the very beginning of files that have to hide this link:
:github_url: hide
2019-07-25 15:49:11 +02:00