On the Search Menu, click Clear Search Results to remove all highlight marks from search hits. This will also clear the saved search results.
DBDOC ©1996 - 2022 G. Michaels Consulting Ltd., all rights reserved. All other trademarks and registered trademarks are the property of their respective holders. Website source largely available under the terms of the AGPLv3.