diff options
| author |   GitHub Action <action@github.com> | 2023-10-06 23:17:18 +0000 |
|---|---|---|
| committer | GitHub Action <action@github.com> | 2023-10-06 23:17:18 +0000 |
| commit | 17d3363456350d775480fa58c3da7e405d9626e5 (patch) | |
| tree | 526b2390120272b01551fba3b71ab08c1c79f149 /latest/javascripts | |
| parent | 2aa681e4111a8c723bb3f9c6c431332264484bc8 (diff) | |
| download | infini-17d3363456350d775480fa58c3da7e405d9626e5.tar.gz infini-17d3363456350d775480fa58c3da7e405d9626e5.zip | |
Deployed 1712182 to v0.1 with MkDocs 1.5.3 and mike 1.1.2
Diffstat (limited to 'latest/javascripts')
| -rw-r--r-- | latest/javascripts/extra.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/latest/javascripts/extra.js b/latest/javascripts/extra.js new file mode 100644 index 00000000..a8694826 --- /dev/null +++ b/latest/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 |