.sticky-margin {
  position: sticky;
  top: 100px;
  float: right;
  width: 20px;
  margin-left: auto;
  margin-right: 0;
  background-color: var(--jp-layout-color1);
  padding: 10px;
  border-left: 2px solid var(--jp-border-color2);
}