Add subpixel antialias and no_bold to font-options. Also, use github theme