body{color:#000;background-color:#fff;margin:4px;font-family:consolas,courier new,monospace;font-size:14px}span.marked{color:red}