body {
    /* background-color: #212529 !important; */
}

.katex-html {
    display: none;
}

.title-logo {
    font-size: 1.5rem;
    font-family: monospace;
}

.site-logo.dark-mode {
    filter: grayscale(0.5);
}

.position-relative-top-10 {
	position: relative;
	top: 10px;
	margin-bottom: 20px;
}