I might be crazy, but I think that the dotted version of the colored lines (from Firefox/Safari) looked better than the dashed ones he was so insistent on achieving.
Not crazy, I though the same, maybe apart from how the border ends with too much whitespace. But we would have to see how it looks in the overall design to properly judge that.
