Double spacing except for code excerpts