Plugin for colorizing diff files in browsers