diff options
| author |   GitHub Action <action@github.com> | 2023-10-06 22:59:21 +0000 |
|---|---|---|
| committer | GitHub Action <action@github.com> | 2023-10-06 22:59:21 +0000 |
| commit | dfa4989a90e3631b7757639d4dccf84fa9ee029c (patch) | |
| tree | 25f07bef63f9144f664e773d089620fdc0cc705f /dev/javascripts | |
| parent | fb40e7c2fc5aa00bd7d066abfc9fb25c26c5a299 (diff) | |
| download | infini-dfa4989a90e3631b7757639d4dccf84fa9ee029c.tar.gz infini-dfa4989a90e3631b7757639d4dccf84fa9ee029c.zip | |
Deployed 77edb63 to dev with MkDocs 1.5.3 and mike 1.1.2
Diffstat (limited to 'dev/javascripts')
| -rw-r--r-- | dev/javascripts/extra.js | 4 |
1 files changed, 4 insertions, 0 deletions
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 |