5417fca60f
Lower synctex buttons to avoid clash with role dropdown GitOrigin-RevId: 27a1e566e68484207bc1a2ffd6f1382350ff81fc