dotcss/readthedocs.org.css @ e5ca3773b0dd

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