doc/guide/conf/mlton-gcse.js

   1   (function() {
   2     var cx = '015900004091250679661:g82p7pue1um';
   3     var gcse = document.createElement('script'); gcse.type = 'text/javascript'; gcse.async = true;
   4     gcse.src = (document.location.protocol == 'https:' ? 'https:' : 'http:') +
   5         '//www.google.com/cse/cse.js?cx=' + cx;
   6     var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(gcse, s);
   7   })();