Commit Graph

13 Commits

Author SHA1 Message Date
698b49df33 Merge branch 'master' into pr-3811 2022-03-24 12:17:15 +01:00
af9547af7d [doc] Minor fixes (styling mostly)
Don't show edit buttons for generated pages
2022-03-24 12:13:01 +01:00
c082649dda Remove h2 inline-block styling 2022-03-15 14:23:27 +01:00
9bb075526e Add pencil icon (with edit link) to headers 2022-03-15 14:16:44 +01:00
0fbcfec9b1 Change the top and bottom edit buttons 2022-03-15 01:28:15 +01:00
e27be9f081 Make TOC scrollable when too many subheadings 2022-03-10 10:13:04 +01:00
6bdce79bdd Add small edit button to section heading line 2022-02-25 21:50:24 +01:00
5d537140c8 Fix overlap by specifying minimum content div width 2022-02-23 19:45:11 +01:00
a6ac757649 Add responsive floating table-of-contents to documentation website 2022-02-23 19:21:02 +01:00
a69a612ff3 Update credits.md
* Fix layout
* Reorganize old sections
* Add link from index.md
2021-09-09 15:26:35 +02:00
40f0c4d59b Fix toc links 2018-06-29 22:33:45 +02:00
b14da68b5a Update theme from https://github.com/tomjohnson1492/documentation-theme-jekyll 2017-05-25 10:22:39 +02:00
b193bb28d8 Add 'docs/' from commit '106142b25c9387ffd002437027ced1b04f494205'
git-subtree-dir: docs
git-subtree-mainline: 23545aa7ea
git-subtree-split: 106142b25c
2017-05-25 10:01:42 +02:00