var default__font_8h =
[
    [ "default_font", "df/d8f/default__font_8h.html#ac34798f23317c04e6e7e432e9e211a2f", null ],
    [ "default_font_size", "df/d8f/default__font_8h.html#a015792c47aea1a2ff999f2488b47018e", null ]
];