It turns out that Sky is based on Theme Setting API which is also used in several themes, though they are not as highly configurable as Sky. However, it seems that I prefer Twilight over Sky but I still have to manually edit the font to be as I like.