A study from the US Public Research Interest Group (PDF) on transportation funding the US. The short answer is that only about half of highway funds come from “user fees” like the gas tax and vehicle registration fees. The rest is payed out of bonds, property taxes and other government revenues.