.workbench-scrollable {
  overflow-y: auto !important;
  overflow-x: hidden !important;
}

.workbench-scrollable::-webkit-scrollbar {
  width: 0.375rem;
}

.workbench-scrollable::-webkit-scrollbar-track {
  background: transparent;
}

.workbench-scrollable::-webkit-scrollbar-thumb {
  background-color: var(--mantine-color-gray-4);
  border-radius: 0.1875rem;
}

.workbench-scrollable::-webkit-scrollbar-thumb:hover {
  background-color: var(--mantine-color-gray-5);
}
