From dfa4989a90e3631b7757639d4dccf84fa9ee029c Mon Sep 17 00:00:00 2001
From: GitHub Action <action@github.com>
Date: Fri, 6 Oct 2023 22:59:21 +0000
Subject: Deployed 77edb63 to dev with MkDocs 1.5.3 and mike 1.1.2

---
 dev/javascripts/extra.js | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 dev/javascripts/extra.js

(limited to 'dev/javascripts/extra.js')

diff --git a/dev/javascripts/extra.js b/dev/javascripts/extra.js
new file mode 100644
index 00000000..a8694826
--- /dev/null
+++ b/dev/javascripts/extra.js
@@ -0,0 +1,4 @@
+$( '.contributors img[data-src]' ).each( function() {
+    src = $(this).attr("data-src");
+    $(this).attr('src',src);
+});
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2