Martin Vermeer wrote: > Yellow on grey is *awful*. The yellow is surely from the association with > MMM Post-It (TM).
It'd be nice if we could have a custom background color for inset buttons. > Actually why a distinction? They are a lot more similar > than different. Compared to footnote, branch etc, etc. that is. It is not important. BTW, keep in mind that the (old) comment environment is redundant now. Juergen.
