Added value, mode, theme, tabSize, and lineNumbers attributes