[no subject]

If it is, we shouldn't have any such settings in Yelp but rather have
some capplet (or whatever-they-are-currently-called) that changes this
for the entire GNOME.

The applications (including Yelp) should then read this setting to
decide which stylesheet to use.

Is this correct?

Regards,
  Mikael Hallendal

-- 
Mikael Hallendal                micke codefactory se
CodeFactory AB                  http://www.codefactory.se/
Office: +46 (0)8 587 583 05     Cell: +46 (0)709 718 918