diff --git a/src/public/app/widgets/type_widgets/options/shortcuts.ts b/src/public/app/widgets/type_widgets/options/shortcuts.ts
index 179b9325a..2ca7a8893 100644
--- a/src/public/app/widgets/type_widgets/options/shortcuts.ts
+++ b/src/public/app/widgets/type_widgets/options/shortcuts.ts
@@ -77,7 +77,7 @@ export default class KeyboardShortcutsOptions extends OptionsWidget {
const $tr = $("
");
if (action.separator) {
- $tr.append($('').attr("style", "background-color: var(--accented-background-color); font-weight: bold;").text(action.separator));
+ $tr.append($(' | ').attr("style", "background-color: var(--accented-background-color); font-weight: bold;").text(action.separator));
} else if (action.defaultShortcuts && action.actionName) {
$tr.append($(" | ").text(action.actionName))
.append(
diff --git a/src/public/stylesheets/theme-next/settings.css b/src/public/stylesheets/theme-next/settings.css
index 9f377b46e..58a4af62b 100644
--- a/src/public/stylesheets/theme-next/settings.css
+++ b/src/public/stylesheets/theme-next/settings.css
@@ -85,6 +85,25 @@
width: fit-content;
}
+/* Shortcuts */
+
+/* Group heading */
+.shortcuts-options-section .separator {
+ padding-top: 2em;
+ padding-bottom: 1em;
+ background: transparent !important;
+ font-weight: 500;
+}
+
+/* Simulates the underline for group headings */
+.shortcuts-options-section .separator::after {
+ content: "";
+ display: block;
+ width: 100%;
+ height: 2px;
+ background: currentColor;
+}
+
/* Advanced */
.options-section ul.existing-anonymized-databases {
|