require("github_theme").load("github_light_high_contrast")