af9547af7d
[doc] Minor fixes (styling mostly)
...
Don't show edit buttons for generated pages
2022-03-24 12:13:01 +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
6bdce79bdd
Add small edit button to section heading line
2022-02-25 21:50:24 +01:00
e7456c1341
Add an editme button at the bottom
2022-02-25 19:01:18 +01:00
a6ac757649
Add responsive floating table-of-contents to documentation website
2022-02-23 19:21:02 +01:00
b1cf527ac6
[doc] Remove editme button for language index pages
...
Fixes #3230
2021-04-29 10:02:57 +02:00
c0077a2eed
Create new incremental analysis page, make linking to CLI options possible
2018-06-12 00:22:38 +02:00
236154100f
[doc] Add possibility to override editme link location
...
If the page contains the variable "editmepath" in the yaml frontmatter,
this will be used instead of "page.path" (the actual markdown file).
This is useful, if the page is generated from another source.
2017-07-28 12:16:12 +02:00
c1fe2dfbd5
[doc] Fix edit me link, remove news link from top, add site.pmd.version var
2017-07-22 14:17:08 +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: 23545aa7ea599faf17737de9879733a1bde700d1
git-subtree-split: 106142b25c9387ffd002437027ced1b04f494205
2017-05-25 10:01:42 +02:00