Merge branch 'highlight-theme' into 'main'

template: Switch to Solarized for syntax highlighting

Closes #101

See merge request !105
5 jobs for main in 3 minutes and 37 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Check
passed flake8 #1494964

00:01:20

failed mypy #1494965
allowed to fail

00:03:18

passed reuse #1494966

00:01:34

 
  Deploy
passed pages #1494967

00:03:35

passed pages:deploy

00:00:05

 
Name Stage Failure
failed
mypy Check
gidocgen/gir/parser.py:968: error: Argument 1 to "set_version" of "GIRElement" has incompatible type "Optional[str]"; expected "str"
gidocgen/gir/parser.py:986: error: Argument "get_type" to "GType" has incompatible type "Optional[str]"; expected "str"
gidocgen/gir/parser.py:1008: error: Argument "name" to "Union" has incompatible type "Optional[str]"; expected "str"
gidocgen/gir/parser.py:1008: error: Argument "symbol_prefix" to "Union" has incompatible type "Optional[str]"; expected "str"
gidocgen/gir/parser.py:1008: error: Argument "ctype" to "Union" has incompatible type "Optional[str]"; expected "str"
gidocgen/gir/parser.py:1010: error: Argument 1 to "set_version" of "GIRElement" has incompatible type "Optional[str]"; expected "str"
gidocgen/utils.py:823: error: Need type annotation for 'found_programs' (hint: "found_programs: Dict[<type>, <type>] = ...")
Found 218 errors in 3 files (checked 17 source files)
Cleaning up file based variables
ERROR: Job failed: exit code 1