Boost logo

Boost :

From: David Abrahams (dave_at_[hidden])
Date: 2005-07-21 16:24:37


Rob Stewart <stewart_at_[hidden]> writes:

> You could use &#183; (a.k.a. &middot;), but the real issue is to
> trigger a much larger font size.

Done.

-- 
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