A modal web browser using WebKitGTK