doc: in dev guide, avoid Goudy Old Style font

This commit is contained in:
Justin Viiret 2018-01-22 10:40:37 +11:00 committed by Xiang Wang
parent 2e3c676194
commit efd76cb5c5

View File

@ -2,3 +2,9 @@
.regexp {
color: darkred !important;
}
/* Avoid (the alabaster theme default) Goudy Old Style, which renders in
* italics on some Mac/Safari systems. */
body {
font-family: 'minion pro', 'bell mt', Georgia, 'Hiragino Mincho Pro', serif;
}