On an unrelated tangent, the way the page formats when printing is one of the best I've seen. No weird navigation cruft, and it seems there's even a style defined that sets book-style margins, such that the left and right margins alternate in length.