diff options
author | Robert Alessi <alessi@robertalessi.net> | 2016-06-20 18:59:47 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2016-06-20 18:59:47 +0200 |
commit | dc3b3c81fe054b59f1f96604e434ed588c81c827 (patch) | |
tree | ec58155c772cc21df216ed2bc8e0877e621947ff | |
parent | 6d95c21697233e375505fa93019bbb43322975c0 (diff) | |
download | arabluatex-dc3b3c81fe054b59f1f96604e434ed588c81c827.tar.gz |
set Old Standard as the main font of the documentation
-rw-r--r-- | arabluatex.dtx | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/arabluatex.dtx b/arabluatex.dtx index e6ac1d6..5138bb3 100644 --- a/arabluatex.dtx +++ b/arabluatex.dtx | |||
@@ -132,11 +132,11 @@ | |||
132 | \doxitem{Option}{option}{options} | 132 | \doxitem{Option}{option}{options} |
133 | \def\actualchar{ =} % there's a bug in doxitem; quick fix. | 133 | \def\actualchar{ =} % there's a bug in doxitem; quick fix. |
134 | \usepackage{fontspec,luatextra} | 134 | \usepackage{fontspec,luatextra} |
135 | \defaultfontfeatures{RawFeature={+liga;+onum;+hlig}} | 135 | \defaultfontfeatures{RawFeature={+liga}} |
136 | \setmainfont{Libertinus Serif} | 136 | \setmainfont{Old Standard} |
137 | \setsansfont{Libertinus Sans} | 137 | \newfontfamily\translitfont{Latin Modern Roman}[Ligatures=TeX] |
138 | \setmonofont{Libertinus Mono}[Scale=.9] | ||
139 | \usepackage{arabluatex}[2016/05/28] | 138 | \usepackage{arabluatex}[2016/05/28] |
139 | \SetTranslitFont{\translitfont} | ||
140 | \usepackage{varioref} | 140 | \usepackage{varioref} |
141 | \usepackage{hypdoc} | 141 | \usepackage{hypdoc} |
142 | \hypersetup{unicode=true, colorlinks, allcolors=blue, | 142 | \hypersetup{unicode=true, colorlinks, allcolors=blue, |