Handful of minor fixes to address changes in the devtools stylesheet