From mboxrd@z Thu Jan  1 00:00:00 1970
From: Jason at zx2c4.com (Jason A. Donenfeld)
Date: Mon, 13 Jan 2014 15:50:51 +0100
Subject: [PATCH v2] filters: Improved syntax-highlighting.py
In-Reply-To: <CAHmME9quebs1U7-QxZQ7eZNS=j=dMRzr0zsqfdO=V=EM3rqPtw@mail.gmail.com>
References: <1389610943-20120-1-git-send-email-stefan@sevenbyte.org>
 <CAHmME9r+990t5Ev11k-HNye+vt=1cYh-vZ=SmpuGnT_f_KGLWg@mail.gmail.com>
 <52D3FC8C.7040809@sevenbyte.org>
 <CAHmME9quebs1U7-QxZQ7eZNS=j=dMRzr0zsqfdO=V=EM3rqPtw@mail.gmail.com>
Message-ID: <CAHmME9r7OMnJRU5-ADqEnc1QGSQoND9KJWPuFN82s-vg6JKpFA@mail.gmail.com>

On Mon, Jan 13, 2014 at 3:47 PM, Stefan Tatschner <stefan at sevenbyte.org> wrote:
> No, that's not the issue. By default 'pygments' adds a <pre
> style="line-height: 125%"> tag so I had to change the line-height of the
> other column as well.

Strange. It doesn't do that on the current script. Is this because of
the inline styles? In which case, since we're reverting to the <style>
way of doing things, we can just drop this part too from this commit.