shell: /bin/bash

window:
  padding:
    x: 8
    y: 3

font:
  normal:
    family: monospace
    style: Regular
  size: 14

cursor:
  style:
    shape: Beam 
  unfocused_hollow: false

key_bindings:
  - { key: Key0,	mods: Control,	action: ResetFontSize		}
  - { key: Plus,	mods: Control,	action: IncreaseFontSize	}
  - { key: Minus,	mods: Control,	action: DecreaseFontSize	}