chiark
/
gitweb
/
~mdw
/
drwho
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7ae3a6e
)
drwho.tex (\joindie): Raise the `×' to cover the letter better.
author
Mark Wooding
<mdw@distorted.org.uk>
Sat, 8 Aug 2020 13:30:17 +0000
(14:30 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Sat, 8 Aug 2020 13:30:17 +0000
(14:30 +0100)
This may be specific to Sara Kingdom, but I don't expect there to be
another case like hers.
drwho.tex
patch
|
blob
|
blame
|
history
diff --git
a/drwho.tex
b/drwho.tex
index 22b1de7e308c59704d77fac086ab493d7e357d41..cd0603f459b68a7178fd8fd7c1553198d9852e22 100644
(file)
--- a/
drwho.tex
+++ b/
drwho.tex
@@
-142,7
+142,7
@@
\namelet{trk/#1}\emptytrack
}
\def\joindie#1#2#3{%
- \enqueue{#1}{\zwd{#2}\zwd{
$\times$
}}%
+ \enqueue{#1}{\zwd{#2}\zwd{
\raisebox{1pt}{$\times$}
}}%
\enqueue{name}{$+$ #3}%
}