An HTML widget for GTK+ 2.0