font: normal: family: Envy Code R style: Regular bold: family: Envy Code R style: Bold italic: family: Envy Code R style: Italic bold_italic: family: Envy Code R style: Bold Italic size: 8 window: decorations: "none"