Assuming the olive color they use everywhere, they probably have a solid field of it on their website upon which you can use the ColorMeter utility to read it's value in RGB hex and RGB (actual).
In the PDF, I'm reading it as 20 34 0C in hex 8-bit (2020 3434 0C0C in 16-bit hex), and 32 52 12 in actual 8-bit.