https://docs.readthedocs.com/platform/stable/custom-script.html
The Custom Script addon allows you to inject a custom JavaScript file into your documentation at serve time. This enables you to modify or enhance frozen...
custom scriptuser documentationreaddocs
https://github.com/erosman/firemonkey/
FireMonkey is a totally new combined user-script and user-style manager - erosman/firemonkey
githubtotallynewcombineduser