At some point the scrollbar for the query editor went back to the default colors -- our CSS stopped working.