remove devtools prefix so that this file can be directly injected into devtools through a hackery hack snippet because they stopped supporting custom stylesheets