Userscript

A small piece of JavaScript code that modifies the behaviour and appearance of a website when viewed in a browser. Userscripts can enhance library catalogue interfaces, automate tasks or improve accessibility.