@@ -362,6 +362,7 @@ renderExternal fmt width doc
362 [".idris-data { color: red; } ",
362 [".idris-data { color: red; } ",
363 ".idris-type { color: blue; }",
363 ".idris-type { color: blue; }",
364 ".idris-function {color: green; }",
364 ".idris-function {color: green; }",
365+ ".idris-metavar {color: turquoise; }",
365 ".idris-keyword { font-weight: bold; }",
366 ".idris-keyword { font-weight: bold; }",
366 ".idris-bound { color: purple; }",
367 ".idris-bound { color: purple; }",
367 ".idris-implicit { font-style: italic; }",
368 ".idris-implicit { font-style: italic; }",
@@ -375,7 +376,8 @@ renderExternal fmt width doc
375 "\\newcommand{\\"++ cmd ++
376 "\\newcommand{\\"++ cmd ++
376 "}[1]{\\textcolor{"++ color ++"}{#1}}")
377 "}[1]{\\textcolor{"++ color ++"}{#1}}")
377 [("IdrisData", "red"), ("IdrisType", "blue"),
378 [("IdrisData", "red"), ("IdrisType", "blue"),
378− ("IdrisBound", "magenta"), ("IdrisFunction", "green")] ++
379+ ("IdrisBound", "magenta"), ("IdrisFunction", "green"),
380+ ("IdrisMetavar", "cyan")] ++
379 ["\\newcommand{\\IdrisKeyword}[1]{{\\underline{#1}}}",
381 ["\\newcommand{\\IdrisKeyword}[1]{{\\underline{#1}}}",
380 "\\newcommand{\\IdrisImplicit}[1]{{\\itshape \\IdrisBound{#1}}}",
382 "\\newcommand{\\IdrisImplicit}[1]{{\\itshape \\IdrisBound{#1}}}",