""" This file provides variables with HTML. It is automatically generated by running bash gen_html.sh. Do not edit directly. """ mailpage="""
{project}/{bug}/{pagenr}

{subject}

{content}
""" notfound="""

Not found

Not found: {path}

""" style_css=""" :root { --primary-background: #fcfcfc; --secondary-background: #eee; --tertiary-background: #acacac; } .path { background-color: var(--tertiary-background); } .email { font-family: monospace; font-size: 1em; background-color: var(--secondary-background); padding: 1px; padding-left: 2em; padding-right: 2em; } """