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 www.boost-consulting.com
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk