readthedocs.org

1512ef5d - Embedded js: remove some dependency from jquery (#9508)

Embedded js: remove some dependency from jquery (#9508) Basically replacing ajax calls with the fetch API, and using the DOM API for the manipulation of elements.