Remove the CSS3 pre-line rule, which is recognized by modern browsers

and leads to collapsing of multiple consecutive whitespaces
(closes issue 528).

www/media/idf/css/style.css

@@ -601,7 +601,6 @@ table.code td.code {
   white-space: -o-pre-wrap; /* Opera 7 */
   white-space: -pre-wrap; /* Opera 4-6 */
   white-space: pre-wrap; /* CSS 2.1 */
-  white-space: pre-line; /* CSS 3 (and 2.1 as well, actually) */ 
   word-wrap: break-word; /* IE */ 
   padding-left: 5px;
 }