require("github_theme").load("github_light_default")