.tv-pine-highlight{max-height:224px;overflow:hidden}.tv-pine-highlight__pre,.tv-pine-highlight__pre.selectable{font-family:Menlo,Ubuntu Mono,Consolas,source-code-pro,monospace;font-size:13px;line-height:18px;margin:0;overflow:hidden}