www: Use red for visited links
www: We already integrated the isl code generator