//! The file's own indentation, learned rather than assumed. A line already in
//! the document is never re-indented; only a line being created needs one, and
//! it takes what the file already does.
/// The whitespace one level of nesting adds, taken from the first place the
/// text nests. A text that never nests has nothing to learn from and gets two
/// spaces.
/// The whitespace a line begins with.