From 68d1a0b49038fcffbd1fcf9e90c962f742d2c075 Mon Sep 17 00:00:00 2001 From: Rik Huijzer Date: Wed, 14 Aug 2024 15:28:22 +0200 Subject: [PATCH] docs: Possibly fix table display issue --- docs/_build/css/extra.css | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 + }