.quick-index-table { width: 80%; font-family: monospace; padding: 3px; background: var(--background-color-ui-subtle, #f7f8ff); border: 1px solid var(--border-color-ui-widget, gray); margin: 0 auto; }