function renderMargin()

in js/src/renderButtons.ts [163:167]


function renderMargin(div: HTMLDivElement) {
    const span = document.createElement('span');
    span.style.marginLeft = '8px';
    div.appendChild(span);
}