4.2. Overriding Javascript

There's not, at the present, a whole lot of Javascript used in this toolset. It's used

If you need to add new Javascript, then the rules are exactly the same as for the CSS files above. Just replace ".css" by ".js".