build based on 0efb7f2

JuliaIntervals · Aug 29, 2023 · e859f23 · e859f23
1 parent 746fce5
commit e859f23
Show file tree

Hide file tree

Showing 16 changed files with 150 additions and 456 deletions.
diff --git a/dev/assets/documenter.js b/dev/assets/documenter.js
diff --git a/dev/assets/intervalarithmetic.css b/dev/assets/intervalarithmetic.css
@@ -0,0 +1,8 @@
+/* KaTeX */
+
+.katex {
+  font-size: 1em !important; }
+
+.katex-display .katex {
+  /* allow display equations to wrap on small screens */
+  white-space: normal; }
diff --git a/dev/construction/index.html b/dev/construction/index.html