(related to the CSS I'm working on...) For a standard function description like:
@defun make-abbrev-table &optional props we have the following HTML: <div class="defun"> — Function: <b>make-abbrev-table</b><var> &optional props<a name="index-make_002dabbrev_002dtable-4078"></a></var><br> What I'd rather have is something like: <div class="defun"> — Function: <span class="functionname">make-abbrev-table</span> <span class="argument_type">&optional</span> <span class="argument">props<a name="index-make_002dabbrev_002dtable-4078"></a></span><br> so that I can use CSS on the various parts of the definition. How can I modify this behavior ? Jean-Christophe
