More workbench theme options : Typography, borders, padding/Spacing, UI icons

[be5invis]

Only colors is not enough:

• Typography — Family, Weight, Slantness, even with font files included or being Language-specific
• Borders (thickness, style, color)
• Padding / Spacing
• UI icons

also...

• Theme pack? (Workbench + Icons + Syntax)

[be5invis]

PROPOSAL: Typography

Defining typefaces:

{
    "fonts" : [
        {"family": "NgSans", weight: 700, style: "normal", src: "NgSans.woff2"},
        ...
    ]
}

Assigning typefaces:

{
    "customFonts" : {
        statusBar : "NgSans, ui",
        workTree : {
            "*" : "NgSans, ui",
            "zh-Hans" : "NgSans, NgSans SC, ui",
            "ja" : "NgSans, NgSans JP, ui",
        }
    }
}

The keyword "ui" may be assigned to the default UI font set (depending on platform & UI Langauge).

[be5invis]

Split into four issues: #26128, #26129, #26130, #26131.
Close.