kontext-vertical-menu-v2.js

// ==UserScript==
// @name         KonText vertical menu v2
// @namespace    https://trnka.korpus.cz/~lukes
// @version      0.1
// @description  enter something useful
// @author       David Lukeš
// @match        https://kontext.korpus.cz/*
// @grant        none
// @require      https://gist.github.com/raw/2625891/waitForKeyElements.js
// @require      https://code.jquery.com/jquery-1.11.2.min.js
// ==/UserScript==

function addGlobalStyle(css) {
    var head, style;
    head = document.getElementsByTagName('head')[0];
    if (!head) return;
    style = document.createElement('style');
    style.type = 'text/css';
    style.innerHTML = css;
    head.appendChild(style);
}

style = '\
ul.submenu {\
list-style: none !important;\
}\
#menu-level-2 ul li {\
display: list-item !important;\
}\
ul.submenu li.separ {\
border-width: 0 !important;\
}\
ul.submenu li:not(.disabled) a:hover {\
color: #009EE0 !important;\
}\
';

addGlobalStyle(style);

waitForKeyElements("body", function() {
    function docCallback(doc) {
        var self = doc.mainMenu;
        
        self.jqMenuBar.on('mouseleave', function (event) {
            var prevMenuId = self.getActiveSubmenuId();
            self.closeSubmenu(prevMenuId);
        });
    };
    
    require(["tpl/document"], docCallback);
});