Bug 942815 - DevTools themes - webconsole autocomplete hints not visible with new theme;r=paul