public void PushIndent(string indent) { if (indent == null) { throw new ArgumentNullException("indent"); } CurrentIndent = CurrentIndent + indent; indentLengths.Add(indent.Length); }