colorcolumn declared in underwater
guifont different in linux
80th line highlighted in python