
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <br>

    <br>

    <div class="moz-cite-prefix">Victor Ivrii wrote:<br>

    </div>

    <blockquote type="cite"

cite="mid:CADP=ZZqbBqN+BEvH_2KVjNBGQAT1ViRWoUr+8okQrOBBhTwsBg@mail.gmail.com">

      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

      <div dir="ltr">

        <div>There is a minimal example: if we remove \color{red} or put

          it before \linethickness{1.2pt} the lines coincide</div>

      </div>

    </blockquote>

    <tt>\linethickness{1.2pt}</tt> is contributing an unwanted space (as

    are many of the other lines ending in "}"; if all such line-endings

    are escaped with "%", the line spacing is invariant with or without

    the <tt>\color{red</tt><tt>}</tt>.<br>

    <br>

    <i>Philip Taylor</i><i><br>

    </i><br>

  </body>

</html>