to double space, or single space!?!? As computer documentation, rather than print, my vote is always to single space and let the formatter do whatever the hell it needs to do. We're not using typewriters.