{%@@ set DEF_MONO  = "{}px {}".format(font.size.medium, font.mono) @@%}
{%@@ set BIG_MONO  = "{}px {}".format(font.size.big,    font.mono) @@%}
{%@@ set DEF_INTER = "{}px {}".format(font.size.medium, font.interface) @@%}
{%@@ set BIG_INTER = "{}px {}".format(font.size.big,    font.interface) @@%}

fonts:
    debug_console: "{{@@ BIG_INTER @@}}"
    downloads: "{{@@ BIG_INTER @@}}"
    hints: "{{@@ 'bold ' + BIG_MONO @@}}"
    keyhint: "{{@@ BIG_INTER @@}}"
    prompts: "{{@@ BIG_INTER @@}}"
    statusbar: "{{@@ DEF_MONO @@}}"
    completion:
        entry: "{{@@ BIG_INTER @@}}"
        category: "{{@@ BIG_INTER @@}}"
    messages:
        error: "{{@@ BIG_INTER @@}}"
        info: "{{@@ BIG_INTER @@}}"
        warning: "{{@@ BIG_INTER @@}}"
    tabs:
        selected: "{{@@ DEF_INTER @@}}"
        unselected: "{{@@ DEF_INTER @@}}"


