Reflect the fact that QuickUI no longer directly uses the now-deprectated jQuery function $.sub.
Styling tweak
Build release for 0.9.3.