html_cssdefaults(3tcl) on Linux

The text 14ae8bdfb734, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Default CSS style for HTML export plugins

html_cssdefaults(3tcl) on Linux now