require("github_theme").load("github_dark_default")