Another CSS suggestion: pre-wrap

[Gabor Kovesdan]

On 2013.07.29. 0:21, Warren Block wrote:
>
>>> Do you mean Java is needed to do the linewrap on XHTML, or that it 
>>> would be needed to do line numbers and syntax highlighting?
>
>> For the latter two only.
>
> Excellent!  What do you think about adding it after the doc slush ends 
> in a week or so? 
Good. I think the slush is about content change so that translators can 
catch up so I personally I would not object if you wanted to do it earlier.

Gabor