HTML border code - or should that read CSS border code?