If I am reading https://www.transportation.gov/sites/dot.gov/files/2022-03/F... correctly (and I'm almost certainly not) the budget in 2023 was $60 billion (which to be fair includes more than just highways) and if this is correct (which it may be biased) https://www.taxpolicycenter.org/briefing-book/what-highway-t... then federal fuel taxes raised $43 billion of that.

It's within 2/3rds (and frankly lower than I thought, $60 billion doesn't get you @#@^ these days).