Verdana has better spacing for algs. Let's use it in the textareas.