h.264. It doesn't matter, the original is 512x384 and looks best (in my opinion) if left untouched. The re-encoded ones look too blurry, with the shapes washed out. I just compared it with the shots on this thread and I'm seeing the same thing, only it's worse fullscreen.
But oh well. No point in complaining. And since they are softsubs, I could use them with my preferred raw.