)]}' { "commit": "14fba4ce739ea94c374aa15e7b1169bc58ddeb3e", "tree": "52f90bd0c4ed4fdabdd5217476a14168a7942d02", "parents": [ "3356df7e32af4e94621313a5f05bb3baa14b6caa" ], "author": { "name": "Adrià Vilanova Martínez", "email": "me@avm99963.com", "time": "Sat Jul 10 13:28:46 2021 +0200" }, "committer": { "name": "Adrià Vilanova Martínez", "email": "me@avm99963.com", "time": "Sat Jul 10 13:28:46 2021 +0200" }, "message": "Dark theme: load Roboto Bold\n\nIn the dark theme, Roboto Bold (700) was not loaded, and this caused\nbold text to not stand out. By adding the bold font, now bold text is\nshown in real bold, which stands out a little bit more.\n\nChange-Id: I6b2a6ccfb308cc9b6fd336a8cdf6146ca68e220d\n", "tree_diff": [ { "type": "modify", "old_id": "6857eb894f857e4ae1a636835d525db11d5a712b", "old_mode": 33188, "old_path": "src/injections/ccdarktheme.css", "new_id": "5524f8ab810437f32be357384a2252e49467405c", "new_mode": 33188, "new_path": "src/injections/ccdarktheme.css" } ] }