use 7/8/9 for textwidth size shortcuts instead of 6/7/8