update website

Cidree · Dec 6, 2024 · 192197a · 192197a
1 parent 6c7de35
commit 192197a
Show file tree

Hide file tree

Showing 56 changed files with 10,792 additions and 382 deletions.
diff --git a/docs/404.html b/docs/404.html
diff --git a/docs/authors.html b/docs/authors.html
diff --git a/docs/deps/data-deps.txt b/docs/deps/data-deps.txt
@@ -5,8 +5,8 @@
 <link href="deps/Roboto-0.4.9/font.css" rel="stylesheet" />
 <link href="deps/Source_Code_Pro-0.4.9/font.css" rel="stylesheet" />
 <link href="deps/Merriweather-0.4.9/font.css" rel="stylesheet" />
-<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" />
+<link href="deps/font-awesome-6.5.2/css/all.min.css" rel="stylesheet" />
+<link href="deps/font-awesome-6.5.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>