Hi!
Es gibt ein paar Varianten, die speziell für Softwaredokumentation gedacht sind, und damit evtl. einfacher und besser als pures HTML sind. Vielleicht schaust du dich mal ein bisschen um :-).
Den Bug werde ich mal anschauen, ist aber nicht sooo wichtig
peethebee