Search terms need to be highlighted in the documentation. This requires some Java scripting in our docs template, as we would like this to happen in the documentation.
Several options are available to do this. Most involve wrapping matched terms in mark up that we can style. Here are some of the threads I've discovered:
This comment has a demo implementation: