Update docs/os/debian.rst

improve formatting