=
function(
a){
function m(){
for(var
e=
window.PR_SHOULD_USE_CONTINUATION?
l.now()+250:Infinity;
p<
h.length&&
l.now()<
e;
p++){var
n=
h[
p],
k=n.className;
if(k.indexOf(
"prettyprint")>=0){var k=k.match(
g),
f,
b;
if(b=
!k){b=
n;
for(var
o=
void 0,
c=b.firstChild;
c;
c=
c.nextSibling)var
i=
c.nodeType,
o=i===1?
o?b:
c:i===3?N.test(
c.nodeValue)?b:
o:
o;b=(
f=
o===b?
void 0:
o)&&
"CODE"===
f.tagName}b&&(k=
f.className.match(
g));k&&(k=k[1]);b=!1;
for(
o=n.parentNode;
o;
o=
o.parentNode)
if((
o.tagName===
"pre"||
o.tagName===
"code"||
o.tagName===
"xmp")&&
o.className&&
o.className.indexOf(
"prettyprint")>=0){b=!0;
break}b||((b=(b=n.className.match(/\blinenums\
b(?::(\
d+))?/))?b[1]&&b[1].length?+b[1]:!0:!1)&&D(n,b),
d={
g:
k,
h:
n,i:b},E(
d))}}
p<
h.length?
setTimeout(
m,
250):
a&&
a()}
for(var
e=[
document.getElementsByTagName(
"pre"),
document.getElementsByTagName(
"code"),
document.getElementsByTagName(
"xmp")],
h=[],k=0;k<
e.length;++
k)
for(var
t=0,
s=
e[k].length;
t<
s;++
t)
h.push(
e[k][
t]);var
e=
q,
l=
Date;l.now||(l={now:
function(){
return+
new Date}});var
p=0,
d,
g=/\blang(?:uage)?-([
\w.]+)(?!\
S)/;
m()}
function b
Definition: modernizr.js:4
function k(O,["default-code"])
i
Definition: prettify.js:22
function a
Definition: modernizr.js:4
var q
Definition: prettify.js:1
function w
Definition: respond.js:2
setTimeout(function(){optionLayer.setStyle('visibility', 'hidden');}, 500)
function c
Definition: modernizr.js:4