ALTER TABLE "user_settings" ADD COLUMN "font_size" integer DEFAULT 15;