top level tex file