mongodb/docs-tools — pull request #3 by epc (2013-06-28 00:33:09+00:00)
Title: minor: set default cursor for div.body/div.bc

Noticed the cursor flashing when I rolled over a breadcrumb (switched from pointer to insertion to default). Most of the content has cursor: default, don't know why I hadn't set it on div.body. Kind of stupid that in 2013 we still have to write "cursor:default" in CSS but…there you go.