I think that as8_style.css can be removed from this commit.