New details in the president's budget detail some of the proposed workforce reductions, though the final cuts will likely be ...