Because we're on the World Wide Web, where double-spacing is typographically difficult, these lines are not double-spaced, except between paragraphs. In normal word-processing, of course, all composition is done double-spaced.