themes/github-dark.json
|
{ "id": "github-dark", "name": "GitHub Dark", "description": "The hub you already know, after dark.", "scheme": "github-dark", "palette": "github-dark", "prompt": "auto-powerline", "font": "robotomono", "fontSize": 11, "opacity": 97, "acrylic": false } |