Use EurostileStandard for header font, for now. #120