Boost logo

Boost :

From: David Abrahams (dave_at_[hidden])
Date: 2006-12-13 15:34:58

Tobias Schwinger <tschwinger_at_[hidden]> writes:

> No, sorry I mixed things up.
> Here is the solution: Changing "white-space: pre" to "white-space:
> pre-wrap" for the affected styles does the trick.

Please propose a specific patch to the stylesheet. I tried to make
this change but it had no effect.

Dave Abrahams
Boost Consulting

Boost list run by bdawes at, gregod at, cpdaniel at, john at