Fix messed up font on desktop.

8 years ago · 82257c2c37
parent 961a9549bd
commit 82257c2c37
1 changed files with 5 additions and 0 deletions
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@ -2,3 +2,8 @@
 div.figure {
    padding: 0;
 }
 body {
    font-family: serif !important;
 }