From: David B. Held (dheld_at_[hidden])
Date: 2004-11-28 01:36:55
Rene Rivera wrote:
> Is "Documentation" better? I'm afraid anything longer and the search box
> will need to be bigger to accommodate it.
> Forgot about those.. OK, figured out a way to include those.
> And a few other changes. Like a more reliable way to set the overall
> font size. So that it doesn't look small in one browser and not small
> enough in another. Also, line spacing seems better now because of that.
<mr. burns, twiddling fingers> Exxxxxcelleeeeent.... </>
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk