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
ebddad5d26
[doc] Fix sidebar quirks
2020-09-19 21:21:35 +02:00
cdfe815929
[doc] Fix persisted tab state
2020-09-19 21:11:44 +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
b193bb28d8
Add 'docs/' from commit '106142b25c9387ffd002437027ced1b04f494205'
...
git-subtree-dir: docs
git-subtree-mainline: 23545aa7ea106142b25c
2017-05-25 10:01:42 +02:00
