Hate to say it Larry, but I've filled my diesel with diesel from black, green and yellow handled pumps from here to Florida and here to Montana.
The local Kwik trip I think is black E10 gasoline, red no ethanol premium, yellow E85 and green diesel at the "car pumps" and black handles in the 3 truck diesel lanes.
The diesel pumps that are mixed into the car lanes also have the same size nozzle as gas.
If there's an industry standard, I'd believe you know it, but locally they don't follow it.
I need to get some no ethanol tomorrow, I'll try to get pics of the pumps so I'm not going by memory!