The core of this change. Prevent jstree's original stylesheet from overriding this setting.