   alpha: 3.5,
          max_points: 1000,
          point_size: 5,
          duration: 0.1,
          encoding: {
            filter: {
              field: 'MSNDATE',
              op: 'within',
              a: 15,
              b: this.valueAsNumber,
            },
          },
        })
        .then(redo_scale);
    });
  });
</script>

<style>
  #deepscatter {
    position: relative;
  }

  .overlay {
    position: absolute;
    top: 0;
    background-color: rgba(0, 0, 0, 0.5);
    z-index: 99;
  }
