Quick links: content, navigation, search.
Fix compilation error for OS X. Should not introduce any problem on other platforms.