[Dillo-dev] 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.