Next: Customizing Node Redirection Pages, Previous: HTML Title Page Customization, Up: Titlepage, CSS and Redirection Files [Contents][Index]
CSS in HTML output can already be modified with command line options and customization variables (see HTML CSS in Texinfo). More control of the generated CSS is available through functions.