Is there a way to map for example .userinput exactly to the default style resulting from ``? Or have I always to define it completely new? And can I define a quote style that puts quotation marks or similar characters around a text, so that He said: [.quote]#Hello# results in He said: "Hello". And finally a simple basic question, why do I have in the CSS file "font-family: monospace, monospace;" this is monospace twice. I guess I copied that from somewhere, and it seems to make a difference.
but the one I uploaded not. I guess the issue is that I have not included the CSS properly into the html. It should look like above png, sorry.
Indeed I have not managed yet to create a html file where the CSS is fully included this way. I tried various command line parameters. So it seems that the only solution is to add my own CSS edits to the original CSS directly?
From the issue linked above we have an other option: "use docinfo to add additional styles". I tried that too some months ago, without success and gave up. Is there a location where I can find a working example for that "docinfo" method?