use a number for the maximum indentation instead of relying on str::len()
use a number for the maximum indentation instead of relying on str::len()
tsion/miri,GBGamer/rust,rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri,GBGamer/rust,aidancully/rust,aidancully/rust,graydon/rust,GBGamer/rust,graydon/rust,aidancully/rust,graydon/rust,GBGamer/rust,GBGamer/rust,aidancully/rust,aidancully/rust,graydon/rust,GBGamer/rust,aidancully/rust,GBGamer/rust,graydon/rust,graydon/rust,GBGamer/rust