in js/src/renderButtons.ts [163:167]
function renderMargin(div: HTMLDivElement) { const span = document.createElement('span'); span.style.marginLeft = '8px'; div.appendChild(span); }