pyodide/docs/_static/css/pyodide.css

#release-notes .badge {
    margin-right: 5px;
    opacity: 0.7;
}

code {
    font-size: 100% !important;
}