// # Ticket Vending Machine (TVM): Preference Sets
//
// * `tvm_vladimir.json5`: preference set with a combination of common and application-specific terms for the following settings:
// ** English user interface,
// ** a yellow-on-black contrast theme,
// ** big font and big buttons.
{
    "flat": {
        "name": "TVM Vladimir",
        "contexts": {
            "gpii-default": {
                "name": "Default preferences",
                "preferences": {
                    "http://registry.gpii.net/applications/de.fraunhofer.iao.C4A-TVM": {
                        "contrastTheme": "yellow-black",
                        "buttonSize": "big",
                        "fontSize": "big"
                    },
                    "http://registry.gpii.net/common/fontSize": 24,
                    "http://registry.gpii.net/common/magnification": 3,
                    "http://registry.gpii.net/common/highContrast/enabled": true,
                    "http://registry.gpii.net/common/language": "en-US"
                }
            }
        }
    }
}