Update STYLE, incorporating wiki; close #468

Do we want to use unicode (for, e.g., sigma and pi) in the style file, since it's documentation that we'll be displaying?