div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
    font-weight: bold !important;
}

img.logo {
    max-width: 40%;
}

dl.class, dl.function {
    margin-bottom: 2em;
}

a {
    color: #004B6B;
}

a:visited {
    color: #001c63;
}

dt:target, .highlight {
    background: #ffffff;
}

.bibtex-dropdown summary {
	width: 107px;
	font-weight: normal !important;
}

.frame mjx-math {
    border: 1px solid #e0e0e0;
    padding: 5px;
}