default theme = solarized-dark; global-hl-line-mode; rollback C-k behavior on smartparens mode