[dev.mysql.com] documentation simple view by hi-ogawa

/* ==UserStyle==
@name         [dev.mysql.com] documentation simple view
@version      20220408.13.25
@namespace    userstyles.world/user/hi-ogawa
@description  documentation simple view
@author       hi-ogawa
@license      No License
==/UserStyle== */

@-moz-document url-prefix("https://dev.mysql.com/doc/refman") {
header, footer {
    display: none;
}

#docs-sidebar-toc {
    height: 100%;
    max-height: initial !important;
    overflow-y: auto !important;
    position: fixed !important;
    top: 0 !important;
}
}