require("github_theme").load("github_dark_high_contrast")