We are not using it anymore, and yet fonts on a bold
textview are fine. So no need for this.
}
}
-.context-menu { font: initial; } // Decouple the font of context menus from their entry/textview
-
shortcuts-section {
margin: 20px;
}
cursor-handle.insertion-cursor:active:dir(ltr), cursor-handle.insertion-cursor:active:dir(rtl) { -gtk-icon-source: -gtk-scaled(url("assets/slider-horz-scale-has-marks-above-active-dark.png"), url("assets/slider-horz-scale-has-marks-above-active-dark@2.png")); }
-.context-menu { font: initial; }
-
shortcuts-section { margin: 20px; }
.shortcuts-search-results { margin: 20px; border-spacing: 24px; }
cursor-handle.insertion-cursor:active:dir(ltr), cursor-handle.insertion-cursor:active:dir(rtl) { -gtk-icon-source: -gtk-scaled(url("assets/slider-horz-scale-has-marks-above-active.png"), url("assets/slider-horz-scale-has-marks-above-active@2.png")); }
-.context-menu { font: initial; }
-
shortcuts-section { margin: 20px; }
.shortcuts-search-results { margin: 20px; border-spacing: 24px; }