.prettyprint{padding:1em;margin:.5em 0;overflow:auto;background:#f5f2f0}:not(.prettyprint)>code{padding:.1em .4em;font-size:.85em;border-radius:3px}.prettyprint ol li>code{padding:0;font-size:1em;border:0}