644bd3ab39
Merge branch 'master' into pmd/7.0.x
2022-03-24 15:15:55 +01:00
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
8eb18114c9
Merge branch 'master' into pmd/7.0.x
2022-02-25 20:23:58 +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
10186c85ba
Merge branch 'master' into 7.0.x
2021-04-30 12:49:10 +02:00
b1cf527ac6
[doc] Remove editme button for language index pages
...
Fixes #3230
2021-04-29 10:02:57 +02:00
82c0accf0a
[doc] Include javascripts at end of page instead of header
2020-09-20 20:03:44 +02:00
dbb451e18e
[doc] Remove old pdf configs
2020-09-20 19:55:46 +02:00
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
005045e09b
[doc] Fix navbar at top
2020-09-18 18:49:51 +02:00
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
a62b5a388e
[doc] Use new self hosted fontawesome
...
Note: the css class "fa" is deprecated and "fas" should be used
instead. "fab" is for branding icons (like github).
2020-09-18 10:45:00 +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
