nl_tokens: ////////////////////////////////////////////////////////////////////////////
pl_tokens: function complain ( <mask> ) { var pre = dom . createElement ( 'pre' ) pre . setAttribute ( 'style' , 'background-color: pink' ) div . appendChild ( pre ) pre . appendChild ( dom . createTextNode ( message ) ) }