Based on https://github.com/karelvuong/themes-for-devtools