closes #1510 The change in `create_highlighted_versions.py` fixes a "unknown theme "'1337'" warning. The single quotes were wrong. `bat` was always falling back to the default theme, so let's use that for now.
