The text 553b7e3f7d6f, as Debian 10 (Buster) shipped it.
Default CSS style for HTML export plugins
html_cssdefaults(3tcl) on Linux now
