xmlns
:
=""
<
/
>
</
>
/@
=""
_pattern
/
@
[
]
a { color:#33f; }
.indent { padding-left:2em; }
sup { font-size:0.5em; }
sup a { margin-right:0.2em; }
span { padding:2px; }
.highlight_pattern { background-color:#aaf; border-bottom:solid 1px #aac; }
.unknown_pattern { border-bottom:solid 2px #f00; padding-bottom: 0px }