User:DuoDeca-S/global.css

/*CSSLinter settings*/ /** * compatible-vendor-prefixes is set to true * because the only prefix really needed is -webkit- */

/*csslint important:false, compatible-vendor-prefixes:true, overqualified-elements:false, adjoining-classes:false, known-properties:false, fallback-colors:false, box-model:false

/*Fix the Ace Editor settings menu to be scrollable*/ background-color: #F7F7F7; color: #000; box-shadow: -5px 4px 5px rgba(126, 126, 126, .55); padding: 1em .5em 2em 1em; overflow: scroll; position: absolute; margin: 0; bottom: 0; right: 0; top: 60px; z-index: 9999999999 !important; cursor: default; scroll-behavior: smooth; }
 * 1) ace_settingsmenu,
 * 2) kbshortcutmenu {