From 597881af6e6ff47ea6c1f68c06cf53003b4445a3 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Thu, 25 Nov 2021 23:41:05 +0000 Subject: [PATCH] drwho.tex: Delete pointless fills. --- drwho.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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$}}}} -- 2.11.0