Alex
Created page with "→============================= Source editor ==============================: // repurposed from MediaWiki:Vector-darkmode.less/sourceeditor.less // Add border to top and middle boxes .wikiEditor-ui { .wikiEditor-ui-view, .wikiEditor-ui-top { border-color: var(--sourceeditor-border); } } // Toolbar: Very first bar at the top .wikiEditor-ui-toolbar { background-color: var(--sourceeditor-background); /* comment out until we figure out a de..."