Tidy pencil data

colour.tex

@@ -51,10 +51,10 @@
   \special{color push rgb #1 #2 #3}%
   #4\special{color pop}}%
 
-\def\dd{\cleaders\hbox{$\mkern1.5mu.\mkern1.5mu$}\hskip 2em plus 1fill}%
+\def\dd{\leaders\hbox{$\mkern1.5mu.\mkern1.5mu$}\hskip 2em plus 1fill}%
 \tabskip=0pt plus 1fill
 \halign to \hsize{%
-  #\tabskip=0pt\dd&%
+  #\tabskip=0pt\relax\dd&%
   \hfil#\quad&%
   #\dd&%
   \hfil#\tabskip=0pt plus 1fill\cr