Subsection 44.4.10 HTML Style
The
/publication/html/css
element can have the following attributes:
@colors: used to construct the filename for CSS controlling colors.@style: used to construct the filename for CSS controlling content appearance.@knowls: used to construct the filename for CSS controlling knowls.@toc: used to construct the filename for CSS controlling the Table of Contents.@banner: used to construct the filename for CSS controlling the banner (masthead).@navbar: used to construct the filename for CSS controlling the navigation bar.@shell: used to construct the filename for CSS controlling the shell.
In each case the default file is replaced and instead a new filename is formed from the attributes value. For example, the specification
<css colors='bright_red'/>
will cause a CSS file named
colors_bright_red.css to replace colors_default.css. Possible values for the last four attributes are default and crc. The server in use can be configured separately. See Section 29.6 for more.
