I might miss something: why are "lists with no style name attributes" not considered? They earn the style from the embedding list in that case, and thus should be treated as if the style name was set directly, no? Or are the CSS rules done in such a way that these lists are automatically covered as well (I still need to investigate)? If so, then please add this as explanation here, is at least to me not obvious.