Adds a line at the specified depth
void push(int depth, String content) { final indent = _indentationString * depth; _lines.add(indent + content); }