/* macOS /board-embed: reserve the scrollbar gutter from the first paint. */
.idea-side {
  width: 80px;
  scrollbar-gutter: stable;
}