Section 28.6 Styling
Subsection 28.6.1 Colors
The publisher file may be used to specify alternate CSS files. See the reference material for how to do this (Subsection 41.4.7). 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 41.4.7). As of 2019-12-08, replacing more than one of these at a time should be considered experimental.