html_cssdefaults(3tcl) on Linux
The text 7353b33c0fc9, as Debian 13 (Trixie) shipped it. The page shows this text now.
Default CSS style for HTML export plugins
The text 7353b33c0fc9, as Debian 13 (Trixie) shipped it. The page shows this text now.
Default CSS style for HTML export plugins