Section 28.6 Styling
Subsection 28.6.1 Colors
The publication file may be used to specify alternate CSS files. See the reference material for how to do this (Subsection 42.4.8). The default file,
colors_default.css contains documentation on how to design a theme.
Subsection 28.6.2 Table of Contents, Knowls, and Banner
In a manner analagous to how colors may be adjusted, so may other parts of the HTML UI, see Subsection 42.4.8). As of 2019-12-08, replacing more than one of these at a time should be considered experimental.