font: normal: family: Source Code Pro style: Regular bold: family: Source Code Pro style: Bold italic: family: Source Code Pro style: Italic bold_italic: family: Source Code Pro style: Bold Italic size: 14 # Colors (Molokai Dark) colors: # Default colors primary: background: '#000020' foreground: '#F8F8F2' normal: black: '#121212' red: '#fa2573' green: '#97e123' yellow: '#dfd460' blue: '#0f7fcf' magenta: '#8700ff' cyan: '#42a7cf' white: '#bbbbbb' bright: black: '#555555' red: '#f5669c' green: '#b0e05e' yellow: '#fef26c' blue: '#00afff' magenta: '#af87ff' cyan: '#50cdfe' white: '#ffffff' key_bindings: - { key: F11, action: ToggleFullscreen } window: window.dynamic_padding: true opacity: 0.5