else
os << "Path" << num;
- os << "\" class=\"msg\" style=\"margin-left:" << PosNo << "ex";
+ os << "\" class=\"msg";
+ switch (P.getKind()) {
+ default: break;
+ case PathDiagnosticPiece::Event: os << " msgEvent"; break;
+ case PathDiagnosticPiece::ControlFlow: os << " msgControl"; break;
+ }
+ os << "\" style=\"margin-left:" << PosNo << "ex";
if (em < max_line/2) os << "; max-width:" << em << "em";
os << "\">";
" .num { color:#444444 }\n"
" .line { padding-left: 1ex; border-left: 3px solid #ccc }\n"
" .line { white-space: pre }\n"
- " .msg { background-color:#fff8b4; color:#000000 }\n"
" .msg { -webkit-box-shadow:1px 1px 7px #000 }\n"
" .msg { -webkit-border-radius:5px }\n"
" .msg { font-family:Helvetica, sans-serif; font-size: smaller }\n"
- " .msg { font-weight: bold }\n"
" .msg { float:left }\n"
" .msg { padding:0.5em 1ex 0.5em 1ex }\n"
" .msg { margin-top:10px; margin-bottom:10px }\n"
+ " .msg { font-weight:bold }\n"
" .msg { max-width:60em; word-wrap: break-word; white-space: pre-wrap;}\n"
+ " .msgEvent { background-color:#fff8b4; color:#000000 }\n"
+ " .msgControl { background-color:#bbbbbb; color:#444444 }\n"
" .mrange { background-color:#dfddf3 }\n"
" .mrange { border-bottom:1px solid #6F9DBE }\n"
" .PathIndex { font-weight: bold }\n"