@@ -362,6 +362,7 @@ renderExternal fmt width doc
362362 [".idris-data { color: red; } ",
363363 ".idris-type { color: blue; }",
364364 ".idris-function {color: green; }",
365+ ".idris-metavar {color: turquoise; }",
365366 ".idris-keyword { font-weight: bold; }",
366367 ".idris-bound { color: purple; }",
367368 ".idris-implicit { font-style: italic; }",
@@ -375,7 +376,8 @@ renderExternal fmt width doc
375376 "\\newcommand{\\"++ cmd ++
376377 "}[1]{\\textcolor{"++ color ++"}{#1}}")
377378 [("IdrisData", "red"), ("IdrisType", "blue"),
378− ("IdrisBound", "magenta"), ("IdrisFunction", "green")] ++
379+ ("IdrisBound", "magenta"), ("IdrisFunction", "green"),
380+ ("IdrisMetavar", "cyan")] ++
379381 ["\\newcommand{\\IdrisKeyword}[1]{{\\underline{#1}}}",
380382 "\\newcommand{\\IdrisImplicit}[1]{{\\itshape \\IdrisBound{#1}}}",
381383 "\n",