css adjustments for tutorials

GarrettMooney · Oct 26, 2020 · b7dcb92 · b7dcb92
1 parent 503fc65
commit b7dcb92
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/docs/css/mkdocs.css b/docs/css/mkdocs.css
@@ -0,0 +1,8 @@
+div.highlight{
+    /* this was introduced to fix size of documentation script */
+    font-size: 12px;
+}
+
+div.highlight>pre{
+    padding: 3px;
+}
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -33,3 +33,5 @@ plugins:
   - mkdocs-jupyter
 extra_javascript:
   - https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-MML-AM_CHTML
+extra_css:
+  - css/mkdocs.css