Did you know ... Search Documentation:
page.pl
PublicShow source
Source user:body(+Style, +Body)//[multifile]
Provide the page skin.
Source prolog:doc_page_header(+File, +Options)// is det[multifile]
prolog:doc_links(+Directory, +Options)// is det[multifile]
prolog:doc_file_title(+Title, +File, +Options)// is det[multifile]
Called to render the PlDoc page header and link menu. We kill both.
Source github_actions(+Buttons)// is det
Emit the github star and sponsor buttons.