pre.prettyprint { color: #c5c5c5; margin: 10px 10px 10px 10px; }
