
13 Dec
2006
13 Dec
'06
8:34 p.m.
Tobias Schwinger <tschwinger@neoscientists.org> 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