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; }');
}