)]}' { "commit": "989ddd953706feedcbff1cc895e2dcdbf6c62abf", "tree": "617ca08f8b3055213182c6178820954ce0d89e78", "parents": [ "e0507c6ce7fb0e229abc001b8946fb21d0a15398" ], "author": { "name": "avm99963", "email": "me@avm99963.com", "time": "Fri Apr 22 13:25:51 2022 +0200" }, "committer": { "name": "avm99963", "email": "me@avm99963.com", "time": "Fri Apr 22 13:25:51 2022 +0200" }, "message": "Fix options page CSS in Firefox\n\nThe options page CSS didn\u0027t work correctly in Firefox, since it was\nusing styles originally developed by the Chromium team for Chrome. This\nCL fixes this by using CSS properties also available in Firefox.\n\nThis CL also sets explicitly a font family and size, since this makes\nthe options page look better in Firefox (specially the experiments\npage).\n\nFixed: twpowertools:119\nChange-Id: I49c7a52c02b9ddd462d95da4148ebd893c87234f\n", "tree_diff": [ { "type": "modify", "old_id": "3f8b076463a4e4bd5b1f6a4453d513c8ac86c69b", "old_mode": 33188, "old_path": "src/static/options/chrome_style/chrome_style.css", "new_id": "cfcb771c958099cdd5252cb37d4af228bac1f036", "new_mode": 33188, "new_path": "src/static/options/chrome_style/chrome_style.css" }, { "type": "modify", "old_id": "68057ce41082dbccb36eea2b4546228a41d4b7c4", "old_mode": 33188, "old_path": "src/static/options/options.css", "new_id": "39783efa5f01d675c6a02ade2ac2bbc2a3cbf12c", "new_mode": 33188, "new_path": "src/static/options/options.css" } ] }