Commit 5dc4ee09 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Highlight strings.

parent 38bba303
......@@ -35,6 +35,7 @@ let style_css fname =
\n.why3doc .attribute { color: #bbb }\
\n.why3doc .comment { color: #990000 }\
\n.why3doc .keyword { color: purple; font-weight: bold }\
\n.why3doc .string { color: #a48 }\
\n.why3doc .superscript { font-size: smaller }\
\n.why3doc .subscript { font-size: smaller }\
\n.why3doc .warning { color: red; font-weight: bold }\
......
......@@ -139,8 +139,9 @@ rule scan fmt empty delayed = parse
| true, s ->
fprintf fmt "</pre>\n<div class=\"info\">%s</div>" s;
scan_isolated fmt true false "" lexbuf }
| '"' { pp_print_string fmt "&quot;";
| '"' { pp_print_string fmt "<span class=\"string\">&quot;";
string fmt true lexbuf;
pp_print_string fmt "</span>";
scan fmt false delayed lexbuf }
| "'\"'"
| _ as s
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment