Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
Ob / in wie weit einer dieser Editoren auch auf DocBook anwendbar ist, weiß ich jetzt allerdings nicht... (hab auch nicht alle Seiten bis ins Detail durchgelesen... das waren nur Links, die ich schon ne Weile in meinen Favoriten hab...)