Printing HP 32SII Owner's Manual - color covers?

[toml_12953]

(12-08-2015 01:29 PM)striegel Wrote:  It should also be pointed out that you can get a great many of the HP manuals from the HP Museum document set at a very reasonable price.

http://www.hpmuseum.org/cd/cddesc.htm

I just wish they had color versions of Vols 1 and 2 of the HP-41 CX manuals. Since many references to functions are color coded by yellow for gold key functions or blue for Alpha, it's much easier to understand the manual when you can actually see the difference rather than just a lighter grey color.

Tom L