// Overwrites Docsy's main.js, which implements various things we don't use
// - a top nav that fades away, looks cool with the promo block
// - popovers for client-side search
// - tooltips for the icons in the footer

// Pretend that Cash is jQuery
var jQuery = $;
