☰

Spring Doc Index Fixed

fixed spring doc index column

// ==UserScript==
// @name         Spring Doc Index Fixed
// @namespace    http://tampermonkey.net/
// @version      0.2
// @description  fixed spring doc index column
// @author       wdzxc
// @match        https://docs.spring.io/spring/docs*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';

    // Your code here...

    var el = document.createElement("style");
    el.innerHTML = ".toc{position: fixed;\n" +
        "width: 500px;\n" +
        "background-color: #f2f2f2;\n" +
        "top: 0;\n" +
        "left: 0;\n" +
        "height: 100vh;\n" +
        "overflow: auto;}" +
        "div.part,.book>.titlepage{ margin-left: 520px;}div.book{max-width:initial;min-width:initial;}";
    document.body.appendChild(el);
    
})();