change to mkdocs

This commit is contained in:
2017-05-23 15:15:36 +02:00
parent 9228fcd4b7
commit d39a4e79b7
31 changed files with 2593 additions and 151 deletions

View File

@ -0,0 +1,20 @@
/* Highlight */
$( document ).ready(function() {
hljs.initHighlightingOnLoad();
$('table').addClass('table table-striped table-hover');
});
$('body').scrollspy({
target: '.bs-sidebar',
});
/* Prevent disabled links from causing a page reload */
$("li.disabled a").click(function() {
event.preventDefault();
});

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long