void EncodeAttributeName (string name)
{
if (WriterState == HtmlWriterState.Default)
throw new InvalidOperationException ("Cannot write attributes in the Default state.");
html.Write (' ');
html.Write (name);
WriterState = HtmlWriterState.Attribute;
}