@charset "UTF-8";pre{font-family:lucida,console,consoleas,monospace;font-size:80%;background:#f4f4f4!important;border:1px solid #ccc!important;margin-bottom:1.5em!important;padding:.3em .5em!important;min-height:1.5em;overflow:auto}pre.editor-focused{background:#cce4f5!important;border:1px solid #9dc8e6!important}