| """ | |
| HTML helper fragments used by views and Gradio callbacks. | |
| """ | |
| def prompt_html(text: str) -> str: | |
| return f'<div class="prompt-box">{text}</div>' | |
| def badge_html(text: str) -> str: | |
| return f'<span class="focus-badge">{text}</span>' | |
| """ | |
| HTML helper fragments used by views and Gradio callbacks. | |
| """ | |
| def prompt_html(text: str) -> str: | |
| return f'<div class="prompt-box">{text}</div>' | |
| def badge_html(text: str) -> str: | |
| return f'<span class="focus-badge">{text}</span>' | |