Andreas Dangel af9547af7d

[doc] Minor fixes (styling mostly) ...

Don't show edit buttons for generated pages

2022-03-24 12:13:01 +01:00

..

default_print.html

…

default.html

Add pencil icon (with edit link) to headers

2022-03-15 14:16:44 +01:00

none.html

…

page_print.html

…

page.html

[doc] Minor fixes (styling mostly)

2022-03-24 12:13:01 +01:00

post.html

Update theme from https://github.com/tomjohnson1492/documentation-theme-jekyll

2017-05-25 10:22:39 +02:00