☰

Brat Annotation Tool Persistent Menu

Makes the hover menu in brat persistent

// ==UserScript==
// @name        Brat Annotation Tool Persistent Menu
// @description Makes the hover menu in brat persistent
// @namespace   https://www.pietz.me/
// @match       http://localhost/
// @grant       GM_addStyle
// @version     1.0
// @author      -
// @description 18.1.2022, 12:18:20
// @license MIT
// ==/UserScript==

if (document.title === 'brat') {
  GM_addStyle('#svg { margin-top: 90px !important; } #pulldown { height: 60px !important; display: block !important; }');
}