ul.verticator {
  list-style: none;
  right: 1vmin;
  top: 50%;
  transform: translateY(-50%);
  left: auto;
  display: block;
  opacity: 0;
  z-index: 10;
  position: fixed;
  display: flex;
  flex-direction: column;
  padding: 12px;
  transition: all 200ms cubic-bezier(0.26, 0.86, 0.44, 0.985); }
  ul.verticator.visible {
    opacity: 1; }
    ul.verticator.visible:hover {
      opacity: 1; }
  ul.verticator li a {
    width: 14.4px;
    height: 18px;
    display: flex;
    align-items: center;
    justify-content: flex-end; }
    ul.verticator li a:after {
      display: block;
      content: '';
      width: 18px;
      height: 4px;
      opacity: 0.8;
      transform: translateZ(0) scale(0.6);
      background-color: black;
      border-radius: 5px;
      transition: background-color 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985), transform 200ms cubic-bezier(0.26, 0.86, 0.44, 0.985), opacity 200ms cubic-bezier(0.26, 0.86, 0.44, 0.985); }
    ul.verticator li a:hover {
      color: currentColor; }
      ul.verticator li a:hover:after {
        opacity: 1;
        transform: translateZ(0) scale(0.75); }
  ul.verticator li.active a:after {
    transform: translateZ(0) scale(1);
    opacity: 1;
    background: white }
  .dark-theme ul.verticator li a:after {
    background-color: white; }

    .has-light-background ul.verticator li a:after, 
    .dark-theme.has-light-background ul.verticator li a:after {
    background-color: #FF4539; }
    
  .has-dark-background ul.verticator li a:after, 
  .light-theme.has-dark-background ul.verticator li a:after {
    background-color: white; }
    
    .has-dark-background ul.verticator li.active a:after {
      background-color: white }

      @media (max-width: 640px) {
        ul.verticator {
          list-style: none;
          right: 0vmin;
          padding-right: 5px
        }
      }