Focus: an editor theme for focussing on content · HackerTrans