function toggleSrcLineNumbers() { const elem = document.getElementById('deckGoCode'); if (elem) { elem.lineNumbers = !elem.lineNumbers; } }