Yes, I know. But I figured that the author was not so misguided as to use actual tabs. Turns out it is Github's CSS that is to blame.