Andreas Dangel
9e9739e2b3
Fix favicon
2023-04-28 11:07:18 +02:00
Andreas Dangel
0756a7c0e4
Update fontawesome, fix external-link icon
2023-04-28 11:05:23 +02:00
Clément Fournier
b05554031a
Merge branch '7.0.x' into pmd7-doc-update-deps
2020-09-28 17:49:05 +02: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
ebddad5d26
[doc] Fix sidebar quirks
2020-09-19 21:21:35 +02:00
Andreas Dangel
cdfe815929
[doc] Fix persisted tab state
2020-09-19 21:11:44 +02:00
Andreas Dangel
95e6df8652
[doc] Move jekyll-table-of-contents
2020-09-19 20:35:20 +02:00
Andreas Dangel
2e22335c95
[doc] Update Simple-Jekyll-Search
2020-09-19 12:10:20 +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
Andreas Dangel
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
Andreas Dangel
875ae1b544
[doc] Use green theme, adjust coloring to match PMD Logo green
2020-09-17 11:13:35 +02:00
Clément Fournier
5da6525276
Corrections for PR
2018-05-23 04:03:31 +02:00
Clément Fournier
9924bd8bfe
Landing page is WIP, add some tags to languages
2018-05-21 11:54:10 +02:00
Andreas Dangel
a4890ad9cd
[doc] add favicon
2017-07-21 11:45:25 +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
