docs: change monospace rendering

kraina-ai · Jan 3, 2025 · fd1fee9 · fd1fee9
1 parent f53e7aa
commit fd1fee9
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 0 deletions.
diff --git a/docs/assets/css/font.css b/docs/assets/css/font.css
@@ -1,3 +1,5 @@
+@import url("https://fonts.googleapis.com/css2?family=Noto+Sans+Mono&display=swap");
+@import url("https://fonts.googleapis.com/css2?family=Noto+Sans+Mono&text=┌─┬┐└┴┘│├┼┤╭╮╰╯┏━┳┓┗┛┃┡╇┩&display=swap");
 @import url("https://fonts.googleapis.com/css2?family=Comfortaa:wght@700&display=swap");
 
 .md-header__topic:first-child {

diff --git a/docs/assets/css/jupyter.css b/docs/assets/css/jupyter.css
@@ -40,3 +40,28 @@
 .jupyter-wrapper .zeroclipboard-container {
   z-index: 3 !important;
 }
+
+div.highlight pre code,
+div.jp-RenderedText.jp-OutputArea-output>pre,
+div.jp-RenderedText.jp-OutputArea-output.jp-OutputArea-executeResult>pre {
+  font-family: "Noto Sans Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas,
+    "Liberation Mono", "Courier New", monospace, SFMono-Regular, Consolas, Menlo,
+    monospace;
+  white-space: pre;
+  overflow-x: auto;
+  line-height: normal;
+}
+
+.jupyter-wrapper .jp-Notebook {
+  overflow: hidden !important;
+}
+
+div.admonition p {
+  margin-top: 0.6rem;
+  margin-bottom: 0.6rem;
+}
+
+.jupyter-wrapper .jp-RenderedText pre .ansi-bold {
+  font-weight: normal !important;
+  text-shadow: calc(-0.06ex) 0 0 currentColor, calc(0.06ex) 0 0 currentColor;
+}