Documentation for Jinni File: jdss.pro
This file defines the style of the SICStus-like HTML documentation, and provides auxillary predicates for adding ?,+,- to the general form of a predicate to make it look SICStus-like.
Authored by:
Color is the link color of activated links in the documentation page
backgroundColor/1
Forms: backgroundColor(-Color)
Color is the color of the background of the documentation page
headerColor/1
Forms: headerColor(-Color)
Color is the color of the header background for the documentation page.
headerTextColor/1
Forms: headerTextColor(-Color)
Color is the color of the text of the header for the documentation page.
horizontalRuler/1
Forms: horizontalRuler(-Ruler)
Ruler is the ruler for the documentation page
image/1
Forms: image(-Logo)
Logo is the logo for the documentation page.
linkColor/1
Forms: linkColor(-Color)
Color is the link color of the documentation page
textColor/1
Forms: textColor(-Color)
Color is the text color of the documentation page
vlinkColor/1
Forms: vlinkColor(-Color)
Color is the link color of followed links in the documentation page
JinniDoc © 2003-2005 Chico Toepfer