[johnjj]

Hello,

I really would like to see the option to use a
custom css-style for the html-export.

To keep the programming effort low it would
be enough for me to handle this the ".bashrc"-way.
If there is a file in your home/library-folder
that is called "xyz" then just this one .
If not use the standard.

bye Udo