<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">CONSOLE_HTML_FORMAT = """\
&lt;!DOCTYPE html&gt;
&lt;head&gt;
&lt;meta charset="UTF-8"&gt;
&lt;style&gt;
{stylesheet}
body {{
    color: {foreground};
    background-color: {background};
}}
&lt;/style&gt;
&lt;/head&gt;
&lt;html&gt;
&lt;body&gt;
    &lt;pre style="font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace"&gt;&lt;code&gt;{code}&lt;/code&gt;&lt;/pre&gt;
&lt;/body&gt;
&lt;/html&gt;
"""

CONSOLE_SVG_FORMAT = """\
&lt;svg class="rich-terminal" viewBox="0 0 {width} {height}" xmlns="http://www.w3.org/2000/svg"&gt;
    &lt;!-- Generated with Rich https://www.textualize.io --&gt;
    &lt;style&gt;

    @font-face {{
        font-family: "Fira Code";
        src: local("FiraCode-Regular"),
                url("https://cdnjs.cloudflare.com/ajax/libs/firacode/6.2.0/woff2/FiraCode-Regular.woff2") format("woff2"),
                url("https://cdnjs.cloudflare.com/ajax/libs/firacode/6.2.0/woff/FiraCode-Regular.woff") format("woff");
        font-style: normal;
        font-weight: 400;
    }}
    @font-face {{
        font-family: "Fira Code";
        src: local("FiraCode-Bold"),
                url("https://cdnjs.cloudflare.com/ajax/libs/firacode/6.2.0/woff2/FiraCode-Bold.woff2") format("woff2"),
                url("https://cdnjs.cloudflare.com/ajax/libs/firacode/6.2.0/woff/FiraCode-Bold.woff") format("woff");
        font-style: bold;
        font-weight: 700;
    }}

    .{unique_id}-matrix {{
        font-family: Fira Code, monospace;
        font-size: {char_height}px;
        line-height: {line_height}px;
        font-variant-east-asian: full-width;
    }}

    .{unique_id}-title {{
        font-size: 18px;
        font-weight: bold;
        font-family: arial;
    }}

    {styles}
    &lt;/style&gt;

    &lt;defs&gt;
    &lt;clipPath id="{unique_id}-clip-terminal"&gt;
      &lt;rect x="0" y="0" width="{terminal_width}" height="{terminal_height}" /&gt;
    &lt;/clipPath&gt;
    {lines}
    &lt;/defs&gt;

    {chrome}
    &lt;g transform="translate({terminal_x}, {terminal_y})" clip-path="url(#{unique_id}-clip-terminal)"&gt;
    {backgrounds}
    &lt;g class="{unique_id}-matrix"&gt;
    {matrix}
    &lt;/g&gt;
    &lt;/g&gt;
&lt;/svg&gt;
"""

_SVG_FONT_FAMILY = "Rich Fira Code"
_SVG_CLASSES_PREFIX = "rich-svg"
</pre></body></html>