.ace_grist_link_hidden {
  display: none;
}

.ace_grist_link {
  color: var(--grist-color-light-green);
  text-decoration: underline;
  cursor: pointer;
}

.ace_grist_example {
  color: #8f8f8f;
}

.ace_editor.ace_autocomplete .ace_completion-highlight.ace_grist_link {
  color: var(--grist-color-dark-green);
}

.ace_editor.ace_autocomplete .ace_text-layer {
  z-index: 7;
  pointer-events: auto;
}

.ace_editor.ace_autocomplete {
  width: 500px !important;  /* the default in language_tools.js is 280px */
  max-width: 80%;  /* of the screen, for hypothetical mobile support */
}