Gecko [ betsfootball.net ]

Name	Size	Permission	Date
__pycache__	[ DIR ]	drwxr-xr-x	2025-04-08 16:44
__init__.py	5.95 KB	-rw-r--r--	2023-02-19 14:19
__main__.py	8.28 KB	-rw-r--r--	2023-02-19 14:19
_cell_widths.py	9.86 KB	-rw-r--r--	2023-02-19 14:19
_emoji_codes.py	136.95 KB	-rw-r--r--	2023-02-19 14:19
_emoji_replace.py	1.04 KB	-rw-r--r--	2023-02-19 14:19
_export_format.py	2.06 KB	-rw-r--r--	2023-02-19 14:19
_extension.py	265 B	-rw-r--r--	2023-02-19 14:19
_inspect.py	9.47 KB	-rw-r--r--	2023-02-19 14:19
_log_render.py	3.15 KB	-rw-r--r--	2023-02-19 14:19
_loop.py	1.21 KB	-rw-r--r--	2023-02-19 14:19
_null_file.py	1.6 KB	-rw-r--r--	2023-02-19 14:19
_palettes.py	6.9 KB	-rw-r--r--	2023-02-19 14:19
_pick.py	423 B	-rw-r--r--	2023-02-19 14:19
_ratio.py	5.34 KB	-rw-r--r--	2023-02-19 14:19
_spinners.py	19.45 KB	-rw-r--r--	2023-02-19 14:19
_stack.py	351 B	-rw-r--r--	2023-02-19 14:19
_timer.py	417 B	-rw-r--r--	2023-02-19 14:19
_win32_console.py	22.29 KB	-rw-r--r--	2023-02-19 14:19
_windows.py	1.88 KB	-rw-r--r--	2023-02-19 14:19
_windows_renderer.py	2.72 KB	-rw-r--r--	2023-02-19 14:19
_wrap.py	1.8 KB	-rw-r--r--	2023-02-19 14:19
abc.py	890 B	-rw-r--r--	2023-02-19 14:19
align.py	10.13 KB	-rw-r--r--	2023-02-19 14:19
ansi.py	6.66 KB	-rw-r--r--	2023-02-19 14:19
bar.py	3.19 KB	-rw-r--r--	2023-02-19 14:19
box.py	9.61 KB	-rw-r--r--	2023-02-19 14:19
cells.py	4.4 KB	-rw-r--r--	2023-02-19 14:19
color.py	17.59 KB	-rw-r--r--	2023-02-19 14:19
color_triplet.py	1.03 KB	-rw-r--r--	2023-02-19 14:19
columns.py	6.96 KB	-rw-r--r--	2023-02-19 14:19
console.py	95.7 KB	-rw-r--r--	2023-02-19 14:19
constrain.py	1.26 KB	-rw-r--r--	2023-02-19 14:19
containers.py	5.37 KB	-rw-r--r--	2023-02-19 14:19
control.py	6.47 KB	-rw-r--r--	2023-02-19 14:19
default_styles.py	7.77 KB	-rw-r--r--	2023-02-19 14:19
diagnose.py	972 B	-rw-r--r--	2023-02-19 14:19
emoji.py	2.44 KB	-rw-r--r--	2023-02-19 14:19
errors.py	642 B	-rw-r--r--	2023-02-19 14:19
file_proxy.py	1.58 KB	-rw-r--r--	2023-02-19 14:19
filesize.py	2.45 KB	-rw-r--r--	2023-02-19 14:19
highlighter.py	9.36 KB	-rw-r--r--	2023-02-19 14:19
json.py	4.93 KB	-rw-r--r--	2023-02-19 14:19
jupyter.py	3.18 KB	-rw-r--r--	2023-02-19 14:19
layout.py	13.68 KB	-rw-r--r--	2023-02-19 14:19
live.py	13.84 KB	-rw-r--r--	2023-02-19 14:19
live_render.py	3.58 KB	-rw-r--r--	2023-02-19 14:19
logging.py	11.62 KB	-rw-r--r--	2023-02-19 14:19
markup.py	8.01 KB	-rw-r--r--	2023-02-19 14:19
measure.py	5.18 KB	-rw-r--r--	2023-02-19 14:19
padding.py	4.85 KB	-rw-r--r--	2023-02-19 14:19
pager.py	828 B	-rw-r--r--	2023-02-19 14:19
palette.py	3.32 KB	-rw-r--r--	2023-02-19 14:19
panel.py	10.33 KB	-rw-r--r--	2023-02-19 14:19
pretty.py	36.54 KB	-rw-r--r--	2023-02-19 14:19
progress.py	58.43 KB	-rw-r--r--	2023-02-19 14:19
progress_bar.py	7.97 KB	-rw-r--r--	2023-02-19 14:19
prompt.py	11.04 KB	-rw-r--r--	2023-02-19 14:19
protocol.py	1.36 KB	-rw-r--r--	2023-02-19 14:19
region.py	166 B	-rw-r--r--	2023-02-19 14:19
repr.py	4.33 KB	-rw-r--r--	2023-02-19 14:19
rule.py	4.66 KB	-rw-r--r--	2023-02-19 14:19
scope.py	2.78 KB	-rw-r--r--	2023-02-19 14:19
screen.py	1.55 KB	-rw-r--r--	2023-02-19 14:19
segment.py	23.66 KB	-rw-r--r--	2023-02-19 14:19
spinner.py	4.27 KB	-rw-r--r--	2023-02-19 14:19
status.py	4.32 KB	-rw-r--r--	2023-02-19 14:19
style.py	25.71 KB	-rw-r--r--	2023-02-19 14:19
styled.py	1.23 KB	-rw-r--r--	2023-02-19 14:19
syntax.py	34.17 KB	-rw-r--r--	2023-02-19 14:19
table.py	38.75 KB	-rw-r--r--	2023-02-19 14:19
terminal_theme.py	3.29 KB	-rw-r--r--	2023-02-19 14:19
text.py	44.62 KB	-rw-r--r--	2023-02-19 14:19
theme.py	3.54 KB	-rw-r--r--	2023-02-19 14:19
themes.py	102 B	-rw-r--r--	2023-02-19 14:19
traceback.py	25.46 KB	-rw-r--r--	2023-02-19 14:19
tree.py	8.95 KB	-rw-r--r--	2023-02-19 14:19

Rename

CONSOLE_HTML_FORMAT = """\
<!DOCTYPE html>
<head>
<meta charset="UTF-8">
<style>
{stylesheet}
body {{
    color: {foreground};
    background-color: {background};
}}
</style>
</head>
<html>
<body>
    <code>
        <pre style="font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace">{code}</pre>
    </code>
</body>
</html>
"""

CONSOLE_SVG_FORMAT = """\
<svg class="rich-terminal" viewBox="0 0 {width} {height}" xmlns="http://www.w3.org/2000/svg">
    
    <style>

@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}
    </style>

<defs>
    <clipPath id="{unique_id}-clip-terminal">
      <rect x="0" y="0" width="{terminal_width}" height="{terminal_height}" />
    </clipPath>
    {lines}
    </defs>

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

_SVG_FONT_FAMILY = "Rich Fira Code"
_SVG_CLASSES_PREFIX = "rich-svg"