/* style loaded only in editor. */
button.hidden {
  display: none;
}