html_cssdefaults(3tcl) on Linux

The text 8406fc4d33c1, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.

Default CSS style for HTML export plugins

html_cssdefaults(3tcl) on Linux now