[null,null,["上次更新時間:2024-08-29 (世界標準時間)。"],[[["`Blockly.Theme.FontStyle.size` is an optional property that determines the font size within a Blockly theme, represented as a number."],["If the `size` property is not specified or is set to `undefined`, the default font size of the theme will be applied."]]],[]]