7337ee7a8b
Use themed variables to fix hover color in dark mode for file outline header GitOrigin-RevId: e6045ab74d0afe6429c2e1b3caf04ae0eb0b857b