civicrm/civicrm-core — pull request #121 by colemanw (2013-03-12 04:32:43+00:00)
Title: Specify location of jstree css and improve menu-editing theme

Needed to specify the location of jstree's css explicitly since the path changes during drupal's js aggregation.
While I was at it, applied what we learned in the profile editor work to make the menu editor look less funky.