fe34b650e3
[web] Use new button style for download button in file view in editor GitOrigin-RevId: 33e8c1aeb21a6ba083a5b9ada3d3135916e64e26