Add an option to export style sheets (see #7049)