From: Mark Wooding Date: Thu, 25 Nov 2021 23:41:05 +0000 (+0000) Subject: drwho.tex: Delete pointless fills. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/drwho/commitdiff_plain/597881af6e6ff47ea6c1f68c06cf53003b4445a3?ds=sidebyside drwho.tex: Delete pointless fills. --- diff --git a/drwho.tex b/drwho.tex index 58ce438..30f427b 100644 --- a/drwho.tex +++ b/drwho.tex @@ -103,7 +103,7 @@ \def\fulltrack{full} \namelet{dflt/empty}\relax -\namedef{dflt/full}{\hfil\vrule\hfil} +\namelet{dflt/full}\vrule \namelet{dots/empty}\strut \namedef{dots/full}{\strut\raisebox{-2pt}{\smash{{$\vdots$}}}}