Theme Change Again

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.