dotcss/readthedocs.org.css @ 75191cd2829e

span.pre {
    padding: 1px 4px;
    border: 1px solid #ccc;
    border-radius: 2px;
    background: #f5f5f5;
    font-family: Menlo, Monaco, monospaced;
    font-size: 14px;
}