Issue #256: Remove per-user theme support.