/* User Provided Stylesheet */

/* Import local CSS assets to avoid CDN CORS issues when using WebVPN */
@import url("katex/katex.min.css");
@import url("jupyter-matplotlib/mpl_widget.css");
@import url("font-awesome-4.7.0/css/font-awesome.min.css");

/* Hide download button menu in the page header */
div[data-headlessui-state] button[aria-haspopup="menu"] {
    display: none !important;
}

/* Hide the "Made with MyST" branding */
a[href*="mystmd.org/made-with-myst"] {
    display: none !important;
}

/* Hide the entire website header, but show on hover */
div.sticky.top-0 {
    opacity: 0;
    transition: opacity 0.3s ease-in-out;
}

div.sticky.top-0:hover {
    opacity: 1;
}