Made validation of identifiers conform to documentation in themes.html, i.e. that identifiers can contain any non-white space Unicode characters.
Authored by: delphidabbler 2013-08-01
Parent: [r3226]
Child: [r3228]
