Better minitoc spacing