@@ -12,7 +12,7 @@ BAT_OPTIONS = [
12 "--no-config",
12 "--no-config",
13 "--style=plain",
13 "--style=plain",
14 "--color=always",
14 "--color=always",
15− "--theme='1337'",
15+ "--theme=default",
16 "--italic-text=always",
16 "--italic-text=always",
@@ -41,7 +41,9 @@ def create_highlighted_versions(output_basepath):
41 root = os.path.dirname(os.path.abspath(__file__))
41 root = os.path.dirname(os.path.abspath(__file__))
42 sources = path.join(root, "source", "*")
42 sources = path.join(root, "source", "*")
44− for source in glob.glob(path.join(sources, "*")) + glob.glob(path.join(sources, ".*")):
44+ for source in glob.glob(path.join(sources, "*")) + glob.glob(
45+ path.join(sources, ".*")
46 env = os.environ.copy()
48 env = os.environ.copy()
47 env.pop("PAGER", None)
49 env.pop("PAGER", None)