Re: Alternative styles support?

Sebastian wrote:
> In dillo, it should be rather simple to integrate the styles into the
> tools menu. Perhaps some configuration per site would be nice, too.

Do you suppose it would be more suitable to keep the user's setting for
a page in nav or in cache? Objectively, cache seems right, but in some
way feels like an unusual intrusion.