Du kannst im Datenblatt unter "Electrical characteristics" schauen. Da ist ein DC current per I/O pin von 40 mA angegeben, man sollte diese aber eigentlich nicht ausreizen. Mit deiner 20mA LED wirst du da schon hinkommen, allerdings könntest du sie bestimmt auch mit weniger Strom z.B. 5mA betreiben.