.cm-panels.cm-panels-top{
    min-width: var(--file-line-width);
    margin-left: auto;
    margin-right: auto;
}

a.zoom-plugin-title {
  text-decoration-line: none;
  color: var(--text-muted);
  font-size: var(--file-header-font-size);
}

.zoom-plugin-delimiter {
  color: var(--text-faint);
  font-size: var(--file-header-font-size);
}

.zoom-plugin-header {
    margin-left: unset;
    margin-right: unset;
/*    justify-content: center;*/
}