| `Warning -> "<div style='color:yellow'>Warn: " ^ msg ^ "</div><br/>\n"
| `Error -> "<div style='color:red'>Error: " ^ msg ^ "</div><br/>\n"
in
| `Warning -> "<div style='color:yellow'>Warn: " ^ msg ^ "</div><br/>\n"
| `Error -> "<div style='color:red'>Error: " ^ msg ^ "</div><br/>\n"
in