Looks like mintlify to me. Especially the copy page button.