/* modernizr.min.js is causing unnecessary reloads of a page causing
* flashing of the browser window during page load. This empty script
* effectively wipes out the modernizr.min.js loaded by the Sphinx
* rtd theme
*/