)]}' { "commit": "52b52c39564b0f134a692a9d289a9c7ee2a58a1c", "tree": "52087dc8ba8a5a54cc79e8e3d35a086883a9a844", "parents": [ "a007d49720a5bd7d4b76b36cd68351af6440f41d" ], "author": { "name": "avm99963", "email": "me@avm99963.com", "time": "Sun May 02 14:34:02 2021 +0200" }, "committer": { "name": "avm99963", "email": "me@avm99963.com", "time": "Sun May 02 14:34:02 2021 +0200" }, "message": "Dark theme: fix header\u0027s right control\u0027s width\n\nThe right control has a fixed width, and so when the dark theme button\nis added there, it exceeds this width and overlaps the search bar. This\nfixes it.\n\nChange-Id: I9a0ee1082253a3d13d071b5ecacb0c6ab08fb68b\n", "tree_diff": [ { "type": "modify", "old_id": "905a6d6b9b30cf08723853eab045d57755e1c9fe", "old_mode": 33188, "old_path": "src/injections/ccdarktheme.css", "new_id": "9261e161b524678e5fd782214d0b8bdc5dacf937", "new_mode": 33188, "new_path": "src/injections/ccdarktheme.css" } ] }