diff options
| author | Marius <mariausol@gmail.com> | 2013-05-31 23:40:49 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-05-31 23:40:49 +0300 |
| commit | 9a194c86a8d31ce7f07712961e5ec72023a00823 (patch) | |
| tree | f5a34823fdacf9be583a3f63faa14b39177759bd /tex/context/base/font-pre.mkiv | |
| parent | cc1c43092378e4bb53255c8aa165a6063f829c33 (diff) | |
| download | context-9a194c86a8d31ce7f07712961e5ec72023a00823.tar.gz | |
beta 2013.05.31 21:57
Diffstat (limited to 'tex/context/base/font-pre.mkiv')
| -rw-r--r-- | tex/context/base/font-pre.mkiv | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/font-pre.mkiv b/tex/context/base/font-pre.mkiv index b03abed7d..ef3694c2b 100644 --- a/tex/context/base/font-pre.mkiv +++ b/tex/context/base/font-pre.mkiv @@ -523,7 +523,7 @@ %D %D For tracing purposes we define: -\definefont[tinyfont][Mono at 1ex] +\definefont[tinyfont][dejavusansmono at 1ex] %D \macros %D {infofont} @@ -535,7 +535,7 @@ \let\infofont\relax % satisfy dep checker -\definefont [infofont] [Mono at 6pt] % todo \the\everybodyfont +\definefont[infofont][dejavusansmono at 6pt] % todo \the\everybodyfont \protect \endinput |