#!/bin/sh
sed -e '
	s/\(\\f[^(]\)\(\\s[0-9]*\)/\2\1/g
	s/\(\\f(..\)\(\\s[0-9]*\)/\2\1/g
	s/"\([^"]*\)\\fP\([^"]*\)"/"\1\2"/g
	s/"\([^"]*\)\\fR\([^"]*\)"/"\1\\rm \2"/g
	s/"\([^"]*\)\\fI\([^"]*\)"/"\1\\it \2"/g
	s/"\([^"]*\)\\fB\([^"]*\)"/"\1\\bf \2"/g
	s/"\([^"]*\)\\fH\([^"]*\)"/"\1\\ss \2"/g
	s/"\([^"]*\)\\fC\([^"]*\)"/"\1\\tt \2"/g
	s/"\([^"]*\)\\f(CO\([^"]*\)"/"\1\\tt \2"/g
	s/"\([^"]*\)\\f(CW\([^"]*\)"/"\1\\tt \2"/g
	s/"\([^"]*\)\\s0\([^"]*\)"/"\1\2"/g
	s/"\([^"]*\)\\s[56]\([^0-9][^"]*\)"/"\1\\tiny \2"/g
	s/"\([^"]*\)\\s7\([^0-9][^"]*\)"/"\1\\scriptsize \2"/g
	s/"\([^"]*\)\\s8\([^0-9][^"]*\)"/"\1\\footnotesize \2"/g
	s/"\([^"]*\)\\s9\([^0-9][^"]*\)"/"\1\\small \2"/g
	s/"\([^"]*\)\\s1[01]\([^"]*\)"/"\1\\normalsize \2"/g
	s/"\([^"]*\)\\s1[23]\([^"]*\)"/"\1\\large \2"/g
	s/"\([^"]*\)\\s1[4-6]\([^"]*\)"/"\1\\Large \2"/g
	s/"\([^"]*\)\\s1[7-9]\([^"]*\)"/"\1\\LARGE \2"/g
	s/"\([^"]*\)\\s2[0-3]\([^"]*\)"/"\1\\huge \2"/g
	s/"\([^"]*\)\\s2[4-9]\([^"]*\)"/"\1\\Huge \2"/g
	s/"\([^"]*\)\\s3[0-9]\([^"]*\)"/"\1\\Huge \2"/g
	' $*