I suggest codeacademy if all he wants to do is learn some HTML/CSS. He can try stuff out on JSFiddle.net by editing he HTML and CSS textboxes.