Amount per side 391ml +- 2.5ml
or 160 mm +-2 mm (fully compressed - springs out) from the top of the inner tube.
Edited to add:
The above is if its completely disassembled and completely dry.
If just changing oil the spec is 330ml. Either way the measured level at 160mm should serve as a good double check to get him where he needs to be.