Bug 253722: remove alternate stylesheet UI

Daniel Glazman couldn't believe it and suggests that such incomplete features be enabled/disabled via a user option. Yes, please.

Join the discussion.