html.mascot-left::after,
html.mascot-right::before,
html.mascot-both::before,
html.mascot-both::after {
  --mascot-size: 640px;
}