From: David B. Held (dheld_at_[hidden])
Date: 2004-09-30 16:48:47
David Abrahams wrote:
> [...]
> Users can apply their own stylesheets to a website??
Depends on how sophisticated they are. ;) Granted, browsers do not
yet support on-the-fly stylesheet selection. However, suppose that
the Boost stylesheet is put in a well-known location in the Boost
hierarchy (like the root). If all Boost docs use the link format
to refer to the stylesheet, all a user has to do is download Boost
and replace the stylesheet with her own. That's exactly what I would
do if docs had embedded XML tags in code for syntax highlighting
purposes.
Dave