www.w3c.org is my 1st port of call with anything online related.

i've used it to check everything from IRC protocals to WAP tags.
obviously it will have all the documentation on HTML anybody could ask for