There was an error while loading. Please reload this page.
1 parent 8f72859 commit 9eb4155Copy full SHA for 9eb4155
1 file changed
Doc/html/style.css
@@ -42,7 +42,7 @@ h1 { font-size: 180% }
42
h2 { font-size: 150% }
43
h3, h4 { font-size: 120% }
44
code, tt { font-family: monospace }
45
-var { font-family: serif;
+var { font-family: times, serif;
46
font-style: italic;
47
font-weight: normal }
48
0 commit comments