e17eaf51d2
Change synctex icons in new editor to not be bold GitOrigin-RevId: edb5aab8248c484b3791c0705dd571bdb405e612