Prettier textareas
Added type seq2file
Added top navigation bar