Is @noflip{} insufficient?
If you go down this route, it would be necessary to add -begin and
-end suffixes as well.border-begin: 4px; padding-begin: 5px; -- Bob Vawter Google Web Toolkit Team --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
