added padding inside command-prompt/terminal result box [(diff)][1] [1]: https://trac.torproject.org/projects/tor/wiki/doc/DNS_Resolver?action=diff&version=15 URL: https://trac.torproject.org/projects/tor/wiki/doc/DNS_Resolver?version=15