diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Bold.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Bold.ttf
new file mode 100644
index 0000000..63b7ad9
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Bold.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSans-BoldOblique.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSans-BoldOblique.ttf
new file mode 100644
index 0000000..c5eab6e
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSans-BoldOblique.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Oblique.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Oblique.ttf
new file mode 100644
index 0000000..61371ab
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Oblique.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSans.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSans.ttf
new file mode 100644
index 0000000..fa998cc
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSans.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Bold.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Bold.ttf
new file mode 100644
index 0000000..f95f125
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Bold.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-BoldOblique.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-BoldOblique.ttf
new file mode 100644
index 0000000..a99b174
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-BoldOblique.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Oblique.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Oblique.ttf
new file mode 100644
index 0000000..a03b6f0
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Oblique.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono.ttf
new file mode 100644
index 0000000..d2e0d28
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Bold.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Bold.ttf
new file mode 100644
index 0000000..7eb67fb
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Bold.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-BoldItalic.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-BoldItalic.ttf
new file mode 100644
index 0000000..9e76fbd
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-BoldItalic.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Italic.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Italic.ttf
new file mode 100644
index 0000000..25b30fd
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Italic.ttf differ
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSerif.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif.ttf
new file mode 100644
index 0000000..529c946
Binary files /dev/null and b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif.ttf differ
diff --git a/docs/IsarMathLib/fonts/Vacuous.ttf b/docs/IsarMathLib/fonts/Vacuous.ttf
new file mode 100644
index 0000000..8d5bdb5
Binary files /dev/null and b/docs/IsarMathLib/fonts/Vacuous.ttf differ