var classSoFontSizeElement =
[
    [ "~SoFontSizeElement", "classSoFontSizeElement.html#ab9a7a71335344fa1e57c2ac236ad1137", null ],
    [ "init", "classSoFontSizeElement.html#a442aa9398b0776de7a4bc510180ac4d4", null ]
];