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

…