terminal formatting