Currently, there is no style sheet for print.
Now, considering the following scenario: a user comes to the codex, find an article useful, but doesn't have the time to read it right away, so what does he/she do? Print it out or bookmark the page. Users using Mac OS X would be more likely to choose to save/print it as PDF, because this way is more time-saving.
When trying to print a web page in Safari, Apple provided a little button dubbed "PDF", click and hold this button, out comes a list of options of how to save the web page as PDF.
As a popular site, I think it would only be reasonable if the WordPress Codex comes with a print style sheet.