The page actually has a stylesheet which sets white-space: pre-wrap, which tells the browser to preserve the double-spaces. It's like <pre> but with line wrappi

The page actually has a stylesheet which sets white-space: pre-wrap, which tells the browser to preserve the double-spaces. It's like <pre> but with line wrapping enabled.