master
nav#table-of-contents { display: none; } div.highlight > pre { font-size: 14px; border-radius: 3px; background: #f6f8fa !important; border: 1px solid #000000 !important; }