require("github_theme").load("github_dark_colorblind")