Progress Indicator in TOC

This commit is contained in:
Nuno Coração
2023-01-14 23:05:10 +00:00
parent d569a0146e
commit 62dbfc51c5
8 changed files with 95 additions and 17 deletions

2
assets/lib/jquery/jquery.slim.min.js vendored Normal file

File diff suppressed because one or more lines are too long