opening a particular page in codex with highlighting