This is included from <b style="color:red">an html</b> document!