diff --git a/docs2/_static/stylesheets/extra.css b/docs2/_static/stylesheets/extra.css
new file mode 100644
index 00000000..3a25e21e
--- /dev/null
+++ b/docs2/_static/stylesheets/extra.css
@@ -0,0 +1,16 @@
+@font-face {
+    font-family: 'JetBrainsMono';
+    src: url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/web/woff2/JetBrainsMono-Regular.woff2') format('woff2'),
+    url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/web/woff/JetBrainsMono-Regular.woff') format('woff'),
+    url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/ttf/JetBrainsMono-Regular.ttf') format('truetype');
+    font-weight: 400;
+    font-style: normal;
+}
+
+code, kbd, pre {
+    font-family: "JetBrainsMono", "Roboto Mono", "Courier New", Courier, monospace;
+}
+
+.highlight * {
+    background: #f0f0f0;
+}