From 9fe6f79f93e7e5ed8fd1b865ae63aaa842bdd710 Mon Sep 17 00:00:00 2001
From: Alex Root Junior <jroot.junior@gmail.com>
Date: Tue, 12 Jan 2021 23:02:13 +0200
Subject: [PATCH] Add theme

---
 docs2/_static/stylesheets/extra.css | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 docs2/_static/stylesheets/extra.css

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;
+}