require("github_theme").load("github_light_colorblind")