html{ cursor:text}.editbox{ margin:.4em; padding:0; font-family:monospace; font-size:10pt; color:black}pre.code,.editbox{ color:#666}.editbox p{ margin:0}span.js-punctuation{ color:#666}span.js-operator{ color:#666}span.js-keyword{ color:#708}span.js-atom{ color:#281}span.js-variable{ color:black}span.js-variabledef{ color:#00F}span.js-localvariable{ color:#049}span.js-property{ color:black}span.js-comment{ color:#A70}span.js-string{ color:#A22}