diff options
| -rw-r--r-- | doc/ScintillaDoc.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/ScintillaDoc.html b/doc/ScintillaDoc.html index 21b110e34..a04205387 100644 --- a/doc/ScintillaDoc.html +++ b/doc/ScintillaDoc.html @@ -55,12 +55,12 @@ color: #808080; } .S2 { - font-family: 'Comic Sans MS'; + font-family: Georgia, 'DejaVu Serif'; color: #007F00; font-size: 9pt; } .S3 { - font-family: 'Comic Sans MS'; + font-family: Georgia, 'DejaVu Serif'; color: #3F703F; font-size: 9pt; } @@ -79,7 +79,7 @@ color: #000000; } .S17 { - font-family: 'Comic Sans MS'; + font-family: Georgia, 'DejaVu Serif'; color: #3060A0; font-size: 9pt; } |