At this moment (GWT 2.4) it is not supported, and it's not clear if/when it will be supported, see issue 4746 in the GWT issue tracker.
The workaround is to add @external, which disables obfuscation for those styles. In this case that would be:
@external textBoxStyle, textBoxStyle-readonly;