DDLightbarMenu: Something has gone wrong with the display of borders..  Reverting back to what I know was a good version of dd_lightbar_menu.js (none of the recent changes are significant).