HTML widget to show file differences
