"""
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>'