html {
	--border-radius-small: 10px;
	--border-radius-medium: 15px;
	--border-radius-large: 20px;

	--top-height: 100px !important;

	--page-background-color: #fafafa !important;
	--page-foreground-color: #050505 !important;

	--fragment-background: #e8e9ea;
	--fragment-foreground: #17272f;

	--side-nav-arrow-opacity: 0.5;
	--side-nav-arrow-hover-opacity: 1;

	--code-background: #f0f0f0;

	--search-foreground-color: #050505 !important;

	--box-shadow: 0 0 0 0 rgba(0, 0, 0, 0);
}
html.dark-mode {
	color-scheme: dark;

	--border-radius-small: 10px;
	--border-radius-medium: 15px;
	--border-radius-large: 20px;

	--top-height: 100px !important;

	--page-background-color: #050505 !important;
	--page-foreground-color: #fafafa !important;

	--side-nav-arrow-opacity: 0.5;
	--side-nav-arrow-hover-opacity: 1;
	--side-nav-background: #151515;

	--fragment-background: #151515;
	--fragment-foreground: #dbe4eb;

	--code-background: #151515;

	--search-foreground-color: #fafafa !important;

	--box-shadow: 0 0 0 0 rgba(0, 0, 0, 0);
}

.github-corner svg {
	width: 72px;
	height: 72px;
}
@media screen and (max-width: 767px) {
	.github-corner svg {
		width: 50px;
		height: 50px;
	}
}

.arrow {
	font-size: 65%;
}

/* hides "useless" summary of topics in a page */
div.header div.summary {
	display: none;
}

/* inline, static, delete, virtual, ... was too small */
.mlabel {
	font-size: 11pt !important;
}

#titlearea {
	margin-top: 44px !important;
}

#top {
	background: var(--side-nav-background);
}