A window manager built with HTML