Andreas Dangel
644bd3ab39
Merge branch 'master' into pmd/7.0.x
2022-03-24 15:15:55 +01:00
Bailey Tjiong
9bb075526e
Add pencil icon (with edit link) to headers
2022-03-15 14:16:44 +01:00
Andreas Dangel
8eb18114c9
Merge branch 'master' into pmd/7.0.x
2022-02-25 20:23:58 +01:00
jeickhoff
a6ac757649
Add responsive floating table-of-contents to documentation website
2022-02-23 19:21:02 +01:00
Andreas Dangel
82c0accf0a
[doc] Include javascripts at end of page instead of header
2020-09-20 20:03:44 +02:00
Andreas Dangel
50dc1dddaf
[doc] Externalize further scripts into customscripts.js
...
Remove unnecessary include disqus.
Remove sample page for tooltips.
Remove support for unused datatable.
Remove support for page.simple_map and page.complex_map
2020-09-20 19:35:22 +02:00
Andreas Dangel
005045e09b
[doc] Fix navbar at top
2020-09-18 18:49:51 +02:00
Andreas Dangel
8a1c8665b2
[doc] Integrate and update selfhosted bootstrap, jquery, ...
...
Also delete some unused includes, such as google_analytics and usermap*
and delete old IE code
2020-09-18 11:49:49 +02:00
Clément Fournier
c0077a2eed
Create new incremental analysis page, make linking to CLI options possible
2018-06-12 00:22:38 +02:00
Andreas Dangel
b14da68b5a
Update theme from https://github.com/tomjohnson1492/documentation-theme-jekyll
2017-05-25 10:22:39 +02:00
Andreas Dangel
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
