Make the footer at the end of a \verbatiminput stand out a little
more, to make it easier to tell apart from the verbatim content.
1 file changed