michael@0: /* Imitate RTL UI */
michael@0: window { direction: rtl; }