beremiz

Update default CSS for Runtime WebSettings.

2023-11-20, Edouard Tisserant
d1fa9536b392
Update default CSS for Runtime WebSettings.
<xsd:element name="Win32">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>