/* Local placeholder for legacy jQuery UI stylesheet. */