Amaya 9.0 has a wonderful feature. I mean it has a feature I wish we could have in Gecko for Nvu and in fact all Gecko-based applications because it would allow us to finely debug stylesheets. Amaya is able from the computed style of a given property on a given element, to climb the Cascade and retrieve the CSS declaration that eventually triggered, after the whole Cascade's process, that computed value.

You may think it's a geeky feature but it's not. It's a FUNDAMENTAL feature for editing environments: if a given style is created by complex style rules, it's the only way to modify that style without having to use inline style through the STYLE attribute. Example:

#foo .toto { color : red }
p { color: green; font-family: monospace}
div .toto { color: blue; font-family: fantasy }
...
<div id="foo"><p class="toto">this is a paragraph</p></div>

The computed values of 'color' and 'font-family' on the paragraph element are respectively "red" and "fantasy". The rule responsible for the former is the first one; the rule responsible for the latter is the last one. So if you want to change the color of that paragraph without using inline style, and without inserting an important rule of very high specificity to beat all existing rules, you must change the one rule that made the style. Amaya is able to do it. Nvu is not, because we can't reverse the cascade in Gecko. And that's a real pity.

I've said many times both in the Mozilla community and the W3C's CSS WG that this is absolutely needed for editing environments. Without success. So mucho congrats to Irène Vatton and her INRIA team. I hope that we'll be able in the future to have an implemented standard to do that.