extra options - font size, tab size, soft tabs