right-menu { flex: 0 0 240px; min-width: 160px; padding: 50px 12px 10px; background: rgb(255, 255, 255); overflow: auto; position: sticky; top: 0px; max-height: 100vh; }
right-menu a { display: block; padding: 6px 10px; margin: 2px 0px; color: rgb(13, 24, 40); text-decoration: none; font-size: 16px; border-radius: 4px; border-left: 3px solid transparent; cursor: pointer; transition: background 0.15s, border-left-color 0.15s; }
right-menu a:hover { background: rgb(220, 232, 245); color: rgb(0, 0, 0); border-left-color: rgb(10, 51, 96); }
right-menu a.in-view { background: rgb(207, 224, 243); color: rgb(0, 0, 0); font-weight: 700; border-left-color: rgb(10, 51, 96); }
@media (max-width: 900px) {
  right-menu { display: none; }
}