Color codes for DEC power supply terminals?