* kernel/Kernel.tex.nw: two columns, small margins