Hi Slashee
First thank you very much for the time spent giving wise advises on the forum.
Next your solution indeed works. For the numbers I notice that I have to multiply by around 15 to have the corresponding size in pixel. May be It has something to do with screen resolution.
I have resized the panel with "print_setup_widget" but profile widget and font size should be adjusted too. Profile widget is "print_setup_big_item" (difficult to guess this one). I didn't succeeded find how to have a condensed style for the Noto default font so I changed the font family. Here is the theme.json content put in my profile directory :
{
"metadata": {
"name": "Dark small",
"inherits": "cura-dark"
},
"fonts": {
"default": {
"size": 1.0,
"weight": 40,
"family": "Liberation Sans Narrow"
},
"default_bold": {
"size": 1.0,
"weight": 63,
"family": "Liberation Sans Narrow"
},
"default_italic": {
"size": 1.0,
"weight": 40,
"italic": true,
"family": "Liberation Sans Narrow"
},
"small": {
"size": 0.8,
"weight": 40,
"family": "Liberation Sans Narrow"
},
"medium": {
"size": 1.0,
"weight": 40,
"family": "Liberation Sans Narrow"
}
},
"sizes": {
"print_setup_widget": [32.0, 30.0],
"print_setup_big_item": [24, 2.5]
}
}