.tv-pine-highlight{padding:10px 15px;border:1px solid;border-color:#eceff2;background-color:#fff;border-radius:2px}html.theme-dark .tv-pine-highlight{background-color:#1c2030;border-color:#363c4e}.tv-pine-highlight__pre,.tv-pine-highlight__pre.selectable{margin:0;font-size:13px;font-family:Monaco,Menlo,Ubuntu Mono,Consolas,source-code-pro,monospace}