+ usepackage{framed}
+ term{lexer}

Signed-off-by: Dmitry Ponyatov <dponyatov@gmail.com>