{
  "name": "theme:mineshaft",
  "themes": [
    {"base": "MINESHAFT"}
  ]
}