 document.querySelector('#checkboxSelectionWraps');
    checkboxSelectionWraps.addEventListener('change', function() {
      stage.selectionWraps = checkboxSelectionWraps.checked;
    })
    effectSelector = document.querySelector('#effectSelector');
    effectSelector.addEventListener('change', function() {
      stage.selectionAnimationEffect = effectSelector.value;
    });
    stage.selectionAnimationEffect = effectSelector.value;
  });
  </script>

</head>

<body>
  <animation-stage-with-dots id="stage"