diff options
author | Johannes Ranke <johannes.ranke@jrwb.de> | 2025-06-24 21:50:52 +0200 |
---|---|---|
committer | Johannes Ranke <johannes.ranke@jrwb.de> | 2025-06-24 21:50:52 +0200 |
commit | f0bf040afbadf07c21dc65495e344c0d2a25f9c3 (patch) | |
tree | c56bbfef7708ed41e88707f23e3e6072fd013a04 /docs/deps/data-deps.txt | |
parent | 2503a6198681295a7e7f2c6f9382e23e10ff4f52 (diff) |
Diffstat (limited to 'docs/deps/data-deps.txt')
-rw-r--r-- | docs/deps/data-deps.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/deps/data-deps.txt b/docs/deps/data-deps.txt index 693b82d..8aa49e2 100644 --- a/docs/deps/data-deps.txt +++ b/docs/deps/data-deps.txt @@ -2,3 +2,12 @@ <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no" /> <link href="deps/bootstrap-5.3.1/bootstrap.min.css" rel="stylesheet" /> <script src="deps/bootstrap-5.3.1/bootstrap.bundle.min.js"></script> +<link href="deps/font-awesome-6.4.2/css/all.min.css" rel="stylesheet" /> +<link href="deps/font-awesome-6.4.2/css/v4-shims.min.css" rel="stylesheet" /> +<script src="deps/headroom-0.11.0/headroom.min.js"></script> +<script src="deps/headroom-0.11.0/jQuery.headroom.min.js"></script> +<script src="deps/bootstrap-toc-1.0.1/bootstrap-toc.min.js"></script> +<script src="deps/clipboard.js-2.0.11/clipboard.min.js"></script> +<script src="deps/search-1.0.0/autocomplete.jquery.min.js"></script> +<script src="deps/search-1.0.0/fuse.min.js"></script> +<script src="deps/search-1.0.0/mark.min.js"></script> |