Did you know ... Search Documentation:
Grammar rule zoom_button//2
Availability::- use_module(pldoc(doc_html)).
 zoom_button(BaseName, +Options)// is det
Add zoom in/out button to show/hide the private documentation.