.vect10
htfcss:  vect10  font-family: 'TeXvect10', serif;
htfcss:  vect5  font-family: 'TeXvect10', serif;