Code Editor : document.d.ts