* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}
html,
body {
  height: 100%;
}
body {
  font-family: 'Inter', sans-serif;
  background-color: var(--surface_color);
  color: var(--text_primary_color);
  -webkit-font-smoothing: antialiased;
  /* The document itself must not scroll — its scrollbar would cut the fixed
     header short. Scrolling happens inside .content_column_div. */
  overflow: hidden;
}
button {
  background: none;
  border: none;
  cursor: pointer;
  padding: 0;
  font: inherit;
  color: inherit;
}
::selection {
  background-color: var(--primary_color);
  color: var(--on_primary_color);
}
::-webkit-scrollbar {
  width: 12px;
  height: 12px;
}
::-webkit-scrollbar-track {
  background-color: var(--surface_color);
}
::-webkit-scrollbar-thumb {
  background-color: var(--border_strong_color);
  border: 3px solid var(--surface_color);
  border-radius: 8px;
}
::-webkit-scrollbar-thumb:hover {
  background-color: var(--text_tertiary_color);
}
.d_none {
  display: none !important;
}