Added proposal for 13090, DITAVAL @style updates