diff --git a/docs/_build/css/extra.css b/docs/_build/css/extra.css index 420db3966780..a3a42b4cec3f 100644 --- a/docs/_build/css/extra.css +++ b/docs/_build/css/extra.css @@ -15,8 +15,8 @@ span .md-typeset .emojione, .md-typeset .gemoji, .md-typeset .twemoji { src: 'https://fonts.cdnfonts.com/css/proxima-nova-2' } -:root { - --md-code-font: "Source Code Pro" !important; +code, kdb, pre { + font-family: monospace !important; } .contributor_icon { @@ -61,4 +61,4 @@ span .md-typeset .emojione, .md-typeset .gemoji, .md-typeset .twemoji { background-color:rgb(205, 121, 44); -webkit-mask-image: var(--md-admonition-icon--rust); mask-image: var(--md-admonition-icon--rust); - } \ No newline at end of file + }