Arduino Output Pins only providing 3.5v

The button LEDs are rated 5V, i.e. they include a resistor.